de.uni_luebeck.isp.tessla.instrumenter
Members list
Type members
Classlikes
This object was generated by sbt-buildinfo.
This object was generated by sbt-buildinfo.
Attributes
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Self type
-
BuildInfo.type
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.
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.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
CInstrumentation.type
A bridge class, used to connect a library produced by the CInstrumentation to the native library provided by the clang-instrumentation project.
A bridge class, used to connect a library produced by the CInstrumentation to the native library provided by the clang-instrumentation project.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type