package instrumenter
Ordering
- Alphabetic
Visibility
- Public
- Protected
Value Members
- case object BuildInfo extends Product with Serializable
This object was generated by sbt-buildinfo.
- object CInstrumentation
Contains data structures and a functionality used to instrument C code depending on the provided annotated TeSSLa specification.
Contains data structures and a functionality used to instrument C code depending on the provided annotated TeSSLa specification. This makes use of the annotations defined in the standard library InstrumentationAnnotations module, which denote which parts of the code should be instrumented and which events should be produced at those locations.
- object CInstrumentationBridge
A bridge class, used to connect a library produced by the CInstrumentation to the native library provided by the clang-instrumentation project.