de.uni_luebeck.isp.tessla.instrumenter.CInstrumentation$.ILibraryInterface
Defines the callbacks an instrumentation library has to define. The check callbacks are called whenever their
respective action (e.g. call, return) occurs in the source code, returning the name of the callback function to be
generated in C code, or an empty String if no callback should be generated for this action.
Attributes Graph Reset zoom Hide graph Show graph
Supertypes class Object
trait Matchable
class Any
Members list Concise view
Value members
Called when the function gets called.
Called when the function gets called.
Attributes Returns: the name of the callback to generate, or an empty String.
Called when the function got called.
Called when the function got called.
Attributes Returns: the name of the callback to generate, or an empty String.
Called when the function returns.
Called when the function returns.
Attributes Returns: the name of the callback to generate, or an empty String.
Called when the function returned.
Called when the function returned.
Attributes Returns: the name of the callback to generate, or an empty String.
Called when a read operation with this pattern occurs.
Called when a read operation with this pattern occurs.
Attributes Returns: the name of the callback to generate, or an empty String.
Called when a write operation with this pattern occurs.
Called when a write operation with this pattern occurs.
Attributes Returns: the name of the callback to generate, or an empty String.
Return the code to use for the provided callback function name.
Return the code to use for the provided callback function name.
Attributes cbName the name of the callback function
Returns: the body of the callback function in C code.
Used to define a code prefix, e.g. for includes.
Used to define a code prefix, e.g. for includes.
Attributes
Reports warnings or errors which occurred during the instrumentation.
Reports warnings or errors which occurred during the instrumentation.
Attributes