clang | |
llvm | |
tesla | |
internal | |
NFAParser | |
NFAStateHash | |
DFABuilder | |
TeslaConsumer | |
TeslaAction | |
TeslaActionFactory | |
Parser | A parser for TESLA automata descriptions |
TeslaVisitor | |
Automaton | An automata representation of a TESLA assertion |
NFA | A non-deterministic automaton that represents a TESLA assertion |
DFA | A DFA description of a TESLA assertion |
Manifest | A description of TESLA instrumentation to perform |
State | A state in a TESLA DFA |
Builder | |
ManifestFile | A file that describes TESLA automata |
Usage | How an automaton is used for instrumentation |
AutomatonDescription | An inline assertion describing the temporal behaviour of software |
Identifier | Something that uniquely identifies an automaton |
Location | An identifier for an automaton based on where it was defined |
Expression | A temporal expression |
BooleanExpr | A boolean combination of expressions (with equal precedence) |
Sequence | A sequence of temporal events |
NowEvent | Execution has reached the point in the instrumented code where an inline assertion was defined |
FunctionEvent | A function has been called or has returned |
CallKind | |
FunctionRef | A function that can be instrumented |
FieldAssignment | Assignment to a field in a structure |
StructField | A field within a structure |
Argument | An argument to a function |
Transition | A transition from one TESLA state to another |
NullTransition | An unconditional (and unrealisable) transition |
NowTransition | The "now" event transition |
FnTransition | A function-related transition |
FieldAssignTransition | A field assignment transition |
SubAutomatonTransition | A sub-automaton |
PtrAnnotation | An annotation applied by LLVM to a pointer |
FieldAnnotation | An annotation applied by Clang/TESLA to a structure field access |
AssertionSiteInstrumenter | Converts calls to TESLA pseudo-assertions into instrumentation sites |
FnCalleeInstrumenter | Instruments function calls in the callee context |
CalleeInstr | Function instrumentation (callee context) |
FnCallerInstrumenter | Instruments function calls in the caller context |
CallerInstrumentation | Function instrumentation (caller context) |
FieldInstrumentation | Instrumentation for a struct field assignment |
FieldReferenceInstrumenter | Converts calls to TESLA pseudo-assertions into instrumentation sites |
FnInstrumentation | Instrumentation for a function event |
InstInstrumentation | Instrumentation on a single instruction that does not change control flow |
Instrumenter | Base class for TESLA instrumenters |
__tesla_event | The basic TESLA type is a pointer to a TESLA Basic TESLA types (magic for the compiler to munge) |
__tesla_locality | |
FrontendActionFactory | |
tesla_class | |
tesla_event_handlers | A vector of event handlers |
tesla_event_metahandler | A 'meta-handler' that wraps a number of event handling vectors |
tesla_instance | A single instance of an automaton: a name (ti_key) and a state |
tesla_key | A TESLA instance can be identified by a tesla_class and a tesla_key |
tesla_store | |
tesla_transition | A single allowable transition in a TESLA automaton |
tesla_transitions | A set of permissible state transitions for an automata instance |