All Classes Interface Summary Class Summary Enum Summary Exception Summary Annotation Types Summary
| Class |
Description |
| AccessValues |
Expressions can have multiple types of accesses.
|
| Annotation |
|
| AnnotationMember |
|
| 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.
|
| CallableInterface<T extends Node> |
|
| 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 |
Deprecated, for removal: This API element is subject to removal in a future version.
|
| ControlFlowSensitiveDFGPass |
This pass tracks VariableDeclarations and values that are included in the graph by the DFG edge.
|
| CXXLanguageFrontend |
The language frontend for translating CXX languages into the graph.
|
| Declaration |
Represents a single declaration or definition, i.e.
|
| DeclarationHandler |
|
| DeclarationHandler |
|
| DeclarationHolder |
|
| DeclarationSequence |
This represents a sequence of one or more declaration(s).
|
| 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.
|
| FunctionPointerType |
FunctionPointerType represents FunctionPointers in CPP containing a list of parameters and a
return type.
|
| 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 |
|
| IncompleteType |
IncompleteTypes are defined as object with unknown size.
|
| InitializerHandler |
|
| InitializerListExpression |
A list of initializer expressions.
|
| IStrategy<V> |
The strategy determines the order in which nodes in the structure are traversed.
|
| IVisitable<V extends IVisitable> |
An object that can be visited by a visitor.
|
| IVisitor<V extends IVisitable> |
Reflective visitor that visits the most specific implementation of visit() methods.
|
| JavaExternalTypeHierarchyResolver |
|
| 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.
|
| LocationConverter |
|
| LoopScope |
|
| MemberCallExpression |
Represents a CallExpression to a function, which is a member of an object.
|
| MemberExpression |
|
| MethodDeclaration |
|
| NameScope |
|
| NamespaceDeclaration |
Declares the scope of a namespace and appends its own name to the current namespace-prefix to
form a new namespace prefix.
|
| 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 |
|
| ObjectType |
This is the main type in the Type system.
|
| ObjectType.Modifier |
ObjectTypes can have a modifier if they are primitive datatypes.
|
| ParameterDeclarationHandler |
|
| ParameterizedType |
ParameterizedTypes describe types, that are passed as Paramters to Classes E.g.
|
| ParamVariableDeclaration |
A declaration of a function parameter.
|
| Pass |
Represents an abstract class that enhances the graph before it is persisted.
|
| Persistable |
|
| PhysicalLocation |
A SARIF compatible location referring to a location, i.e.
|
| PhysicalLocation.ArtifactLocation |
|
| PointerType |
PointerTypes represent all references to other Types.
|
| PointerType.PointerOrigin |
|
| PopulatedByPass |
This annotation denotes that, this property is populates by a pass.
|
| ProblemDeclaration |
|
| Properties |
|
| PropertyEdge<T extends Node> |
|
| PropertyEdgeConverter |
|
| QualifierConverter |
|
| RecordDeclaration |
Represents a C++ union/struct/class or Java class
|
| RecordScope |
|
| ReferenceType |
ReferenceTypes describe CPP References (int&), which are represent an alternative name for a
variable.
|
| Region |
Code source location, in a SASP/SARIF-compliant "Region" format.
|
| 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.
|
| SecondOrderType |
|
| ShutDownException |
|
| Statement |
A statement.
|
| StatementAnalyzer |
|
| StaticCallExpression |
|
| Strategy |
Strategies (iterators) for traversing graphs to be used by visitors.
|
| StructureDeclarationScope |
|
| 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 |
Abstract Type, describing all possible SubTypes, i.e.
|
| Type.Origin |
Type Origin describes where the Type information came from
|
| Type.Qualifier |
Describes possible qualifiers that can be added to the type in order to modify its behavior.
|
| Type.Storage |
Describes Storage specifier of variables.
|
| TypedefDeclaration |
Represents a type alias definition as found in C/C++: typedef unsigned long ulong;
|
| TypeHierarchyResolver |
|
| TypeIdExpression |
|
| TypeManager |
|
| TypeManager.Language |
|
| TypeParser |
Class responsible for parsing the type definition and create the same Type as described by the
type string, but complying to the CPG TypeSystem
|
| TypeResolver |
|
| UnaryOperator |
A unary operator expression, involving one expression and an operator, such as a++.
|
| UninitializedValue |
|
| UnknownType |
UnknownType describe the case in which it is not possible for the CPG to determine which Type is
used.
|
| UsingDirective |
|
| Util |
|
| Util.Connect |
|
| Util.Edge |
|
| Util.Quantifier |
|
| ValueDeclaration |
A declaration who has a type.
|
| ValueDeclarationScope |
Is a scope where local variables can be declared and independent from specific language
constructs.
|
| 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(...){...}.
|
| WrapState |
Stores State for rewrap when typeinformation has been unwrapped
|