Package sandmark.watermark.ct.embed

Class Summary

AddParameters	Adds extra formal arguments to selected method signatures and calls.
DeleteMarkCalls
EmbedData	All fields are public, but should be treated as read-only.
Embedder	The sandmark.watermark.ct.embed.Embedder class contains methods for adding watermarking code to Java bytecode.
InsertionPoint
InsertStorageCreators	Replaces Annot.mark() calls in the bytecode with method calls to watermark class
MarkLocation
PrepareTrace
PrepareTrace.TraceLocation
ReplaceMarkCalls	Replaces Annot.mark() calls in the bytecode with method calls to watermark class