All Classes Interface Summary Class Summary Enum Summary Exception Summary Annotation Types Summary
| Class |
Description |
| ArrayCreationExpression |
Expressions of the form new Type[] that represents the creation of an array, mostly
used in combination with a VariableDeclaration.
|
| ArrayRangeExpression |
Expressions of the form floor ...
|
| ArraySubscriptionExpression |
Represents the Subscription or access of an array of the form array[index], where
both array and index are of type Expression.
|
| ASMDeclarationStatement |
|
| AssertStatement |
Represents an assert statement
|
| Benchmark |
|
| BinaryOperator |
A binary operation expression, such as "a + b".
|
| BlockScope |
|
| BreakStatement |
Statement used to interrupt further execution of a loop body and exit the respective loop
context.
|
| CallExpression |
An expression, which calls another function.
|
| CallResolver |
|
| CaseStatement |
Case statement of the form case expression : that serves as entry point for switch
statements, the only allowed substatements are side effekt free primitive expression for the
selector to choose from.
|
| CastExpression |
|
| CatchClause |
|
| CommonPath |
Find the common root path for a list of files
|
| CompoundStatement |
A statement which contains a list of statements.
|
| CompoundStatementExpression |
An expression, which calls another function.
|
| ConditionalExpression |
Represents an expression containing a ternary operator: var x = condition ? valueIfTrue :
valueIfFalse;
|
| ConstructExpression |
Represents a call to a constructor, usually as an initializer.
|
| ConstructorDeclaration |
|
| ContinueStatement |
Statement used to interrupt further execution of a loop body and jump to the evaluation of the
loop condition.
|
| ControlFlowGraphPass |
Creates a simple control flow graph (CFG) based on AST.
|
| CXXLanguageFrontend |
The language frontend for translating CXX languages into the graph.
|
| Declaration |
Represents a single declaration or definition, i.e.
|
| DeclarationHandler |
|
| DeclarationHandler |
|
| DeclarationScope |
Is a scope where local variables can be declared and independent from specific language
constructs.
|
| DeclarationStatement |
|
| DeclaredReferenceExpression |
An expression, which refers to something which is declared, e.g.
|
| DefaultStatement |
Default statement of the form default: that serves as entry point for switch
statements.
|
| DeleteExpression |
|
| DesignatedInitializerExpression |
|
| DoStatement |
Represents a conditional loop statement of the form: do{...}while(...).
|
| EdgeProperty |
|
| EmptyStatement |
|
| EnumConstantDeclaration |
|
| EnumDeclaration |
|
| EvaluationOrderGraphPass |
Creates an Evaluation Order Graph (EOG) based on AST.
|
| ExplicitConstructorInvocation |
|
| Expression |
Represents one expression.
|
| ExpressionHandler |
|
| ExpressionList |
|
| FieldDeclaration |
|
| FilenameMapper |
|
| ForEachStatement |
|
| ForStatement |
|
| FunctionDeclaration |
Represents the declaration or definition of a function.
|
| FunctionScope |
|
| GlobalScope |
|
| GotoStatement |
|
| Handler<S,T,L extends LanguageFrontend> |
A Handler is an abstract base class for a class that translates AST nodes from a raw ast
type, usually supplied by a language parser into our generic CPG nodes.
|
| HandlerInterface<S,T> |
|
| HasType |
|
| HasType.TypeListener |
|
| IBreakable |
Represents a class that enhances the graph before it is persisted.
|
| IContinuable |
Represents a class that enhances the graph before it is persisted.
|
| IfStatement |
Represents a condition control flow statement, usually indicating by If.
|
| ImportResolver |
|
| IncludeDeclaration |
|
| InitializerHandler |
|
| InitializerListExpression |
A list of initializer expressions.
|
| JavaLanguageFrontend |
Main parser for ONE Java files.
|
| LabelStatement |
A label attached to a statement that is used to change control flow by labeled continue and
breaks (Java) or goto(C++).
|
| LanguageFrontend |
|
| LanguageFrontendFactory |
|
| Literal<T> |
Represents a literal value, meaning the value is fixed and not depending on the runtime
evaluation of the expression.
|
| LoopScope |
|
| MemberCallExpression |
Represents a CallExpression to a function, which is a member of an object.
|
| MemberExpression |
|
| MethodDeclaration |
|
| NameScope |
|
| NamespaceDeclaration |
|
| NewExpression |
Represents the creation of a new object through the new keyword.
|
| Node |
The base class for all graph objects that are going to be persisted in the database.
|
| NodeBuilder |
Builder for construction code property graph nodes.
|
| NodeComparator |
|
| ParameterDeclarationHandler |
|
| ParamVariableDeclaration |
A declaration of a function parameter.
|
| Pass |
Represents an abstract class that enhances the graph before it is persisted.
|
| PopulatedByPass |
This annotation denotes that, this property is populates by a pass.
|
| ProblemDeclaration |
|
| RecordDeclaration |
Represents a C++ union/struct/class or Java class
|
| RecordScope |
|
| Region |
Code source location, in a SASP/SARIF-compliant "Region" format.
|
| RegionConverter |
|
| ReturnStatement |
Represents a statement that returns out of the current function.
|
| Scope |
Represent semantic scopes in the language and only saves information, such as relevant
statements.
|
| ScopeManager |
The scope manager builds a multitree-structure of scopes associated to a scope.
|
| ShutDownException |
|
| SimpleTypeConverter |
|
| Statement |
A statement.
|
| StatementAnalyzer |
|
| StaticCallExpression |
|
| StaticReferenceExpression |
An expression, which refers to something which is declared, e.g.
|
| SubGraph |
Annotates single member variables of supertype Node or a collection of nodes to be part
of the a sub-graph of the current Node.
|
| SubgraphWalker |
Helper class for graph walking: Walking through ast-, cfg-, ...- edges
|
| SubgraphWalker.Border |
For better readability: result.entries instead of result.get(0) when
working with getEOGPathEdges.
|
| SubgraphWalker.IterativeGraphWalker |
|
| SubgraphWalker.ScopedWalker |
Handles declaration scope monitoring for iterative traversals.
|
| SwitchScope |
|
| SwitchStatement |
Represents a Java or C++ switch statement of the switch (selector) {...} that can
include case and default statements.
|
| SynchronizedStatement |
|
| TranslationConfiguration |
The configuration for the TranslationManager holds all information that is used during
the translation.
|
| TranslationConfiguration.Builder |
|
| TranslationException |
A generic exception that can be thrown from a LanguageFrontend, if it reaches a state
where it cannot continue translating source code into the graph.
|
| TranslationManager |
Main entry point for all source code translation for all language front-ends.
|
| TranslationManager.Builder |
|
| TranslationResult |
The global (intermediate) result of the translation.
|
| TranslationUnitDeclaration |
The top most declaration, representing a translation unit, for example a file.
|
| TriConsumer<A,B,C> |
|
| TryScope |
|
| TryStatement |
|
| Type |
|
| Type.Origin |
|
| TypeConverter |
The TypeConverter is a helper converter that takes the Object-based Type and
serializes into a flatten structured in the database graph.
|
| TypeConverter.CastTypeConverter |
|
| TypeHierarchyResolver |
|
| TypeIdExpression |
|
| TypeManager |
|
| TypeSetConverter |
|
| UnaryOperator |
A unary operator expression, involving one expression and an operator, such as a++.
|
| UsingDirective |
|
| Util |
|
| Util.Connect |
|
| Util.Edge |
|
| Util.Quantifier |
|
| ValueDeclaration |
A declaration who has a type.
|
| VariableDeclaration |
Represents the declaration of a variable.
|
| VariableUsageResolver |
Creates new connections between the place where a variable is declared and where it is used.
|
| WhileStatement |
Represents a conditional loop statement of the form: while(...){...}.
|