Packages

object CInstrumentation

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.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CInstrumentation
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. final case class ArrayAccess(base: Pattern) extends Pattern with Product with Serializable

    Describes accessing an array, e.g.

    Describes accessing an array, e.g. foo[].

  2. final case class Dereference(base: Pattern) extends Pattern with Product with Serializable

    Describes a de-reference *

  3. trait IFullFunDesc extends IFunDesc

    Extension of a function description by parameter names

  4. trait IFunDesc extends AnyRef

    Describes a C function

  5. trait ILibraryInterface extends AnyRef

    Defines the callbacks an instrumentation library has to define.

    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.

  6. class LibraryInterfaceFactoryWorker extends Translator[ILibraryInterface]

    The translator class associated with LibraryInterfaceFactory.

  7. sealed abstract class Pattern extends AnyRef

    Describes an arbitrary C pattern.

  8. final case class Reference(base: Pattern) extends Pattern with Product with Serializable

    Describes a reference &

  9. final case class StructUnionAccess(base: Pattern, fieldName: String, isArrow: Boolean = false) extends Pattern with Product with Serializable

    Describes access of a field on a C struct, e.g.

    Describes access of a field on a C struct, e.g. foo.a or foo->a.

  10. final case class Variable(functionName: Option[String], name: String) extends Pattern with Product with Serializable

    Describes a variable, optionally prepended by a function name.

    Describes a variable, optionally prepended by a function name. E.g. foo::x or y.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  15. def toString(): String
    Definition Classes
    AnyRef → Any
  16. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  17. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  18. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  19. object LibraryInterfaceFactory extends TranslationPhase[core.TesslaAST.Core.Specification, ILibraryInterface]

    Translation phase which creates a library interface from a given specification.

    Translation phase which creates a library interface from a given specification. This means that the interface already takes into consideration which annotations are used in the specification, to only return callback function names where callbacks should be generated, and type-checking the generated events versus the declared event stream in TeSSLa.

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped