Index

A B C D E F G H I J K L M N O P Q R S T U V W 
All Classes|All Packages

A

accept(TranslationResult) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
accept(A, B, C) - Method in interface de.fraunhofer.aisec.cpg.helpers.TriConsumer
 
accept(IStrategy<V>, IVisitor<V>) - Method in interface de.fraunhofer.aisec.cpg.processing.IVisitable
 
accept(TranslationResult) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass
 
accept(TranslationResult) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
accept(TranslationResult) - Method in class de.fraunhofer.aisec.cpg.passes.FilenameMapper
 
accept(TranslationResult) - Method in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
accept(TranslationResult) - Method in class de.fraunhofer.aisec.cpg.passes.JavaExternalTypeHierarchyResolver
 
accept(TranslationResult) - Method in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
accept(TranslationResult) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
Pass on the TypeSystem: Sets RecordDeclaration Relationship from ObjectType to RecordDeclaration
accept(TranslationResult) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
AccessValues - Enum in de.fraunhofer.aisec.cpg.graph
Expressions can have multiple types of accesses.
activateTypes(Node, ScopeManager) - Static method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker
 
addArgument(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
addArgument(Expression, String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
addBenchmark(Benchmark) - Method in class de.fraunhofer.aisec.cpg.TranslationResult
 
addBreakStatement(BreakStatement) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.BlockScope
 
addBreakStatement(BreakStatement) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 
addBreakStatement(BreakStatement) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.SwitchScope
 
addBreakStatement(BreakStatement) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.TryScope
 
addConstructor(ConstructorDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
addContinueStatement(ContinueStatement) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 
addDeclaration(Declaration) - Method in interface de.fraunhofer.aisec.cpg.graph.DeclarationHolder
Adds the specified declaration to this declaration holder.
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ClassTemplateDeclaration
 
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.DeclarationSequence
 
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionTemplateDeclaration
 
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.Statement
 
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.StructureDeclarationScope
 
addDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope
 
addDeserializer(String, Function<Object, Object>) - Method in class de.fraunhofer.aisec.cpg.graph.edge.PropertyEdgeConverterManager
 
addDFGEdgesForMutuallyExclusiveBranchingExpression(Node, Node, Node) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
Connects the node n with the node branchingExp if present or with the node branchingDecl.
addDFGToMap(VariableDeclaration, Node, Map<VariableDeclaration, Set<Node>>) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Adds a DFG-Edge to the Mapping of variables.
addDimension(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
addEOGEdge(Node, Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
Builds an EOG edge from prev to next.
addExplicitTemplateParameter(Node) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
addExplicitTemplateParameters(List<Node>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
addExpression(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExpressionList
 
addField(FieldDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
addGeneric(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
addGenerics(List<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
addIfNotContains(Collection<PropertyEdge<T>>, T) - Method in interface de.fraunhofer.aisec.cpg.graph.DeclarationHolder
 
addIfNotContains(Collection<PropertyEdge<T>>, T, boolean) - Method in interface de.fraunhofer.aisec.cpg.graph.DeclarationHolder
Adds a declaration to a collection of property edges, which contain the declarations
addIfNotContains(Collection<N>, N) - Method in interface de.fraunhofer.aisec.cpg.graph.DeclarationHolder
 
addImplicitTemplateParametersToCall(List<Node>, ConstructExpression) - Static method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Adds implicit duplicates of the TemplateParams to the implicit ConstructExpression
addInclude(IncludeDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
addLabelStatement(LabelStatement) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
addMethod(MethodDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
addMultipleIncomingEOGEdges(List<Node>, Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
addOverriddenBy(FunctionDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
addOverriddenBy(Collection<? extends FunctionDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
addOverrides(FunctionDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
addParameter(ParamVariableDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
addParameter(ParamVariableDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
addParameter(TypeParamDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
addProblem(ProblemDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
addProblems(Collection<ProblemDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
addRealization(FunctionDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionTemplateDeclaration
 
addRealization(RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ClassTemplateDeclaration
 
addRecursiveDefaultTemplateArgs(ConstructExpression, ClassTemplateDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Adds the resolved default template arguments recursively to the templateParameter list of the ConstructExpression until a fixpoint is reached e.g.
addSerializer(String, Function<Object, String>) - Method in class de.fraunhofer.aisec.cpg.graph.edge.PropertyEdgeConverterManager
 
addStatement(Statement) - Method in interface de.fraunhofer.aisec.cpg.graph.StatementHolder
Adds the specified statement to this statement holder.
addTemplateParameter(Node, TemplateDeclaration.TemplateInitialization) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
addTemplateParameter(Expression, TemplateDeclaration.TemplateInitialization) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
addTemplateParameter(Type, TemplateDeclaration.TemplateInitialization) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
addThrowTypes(Type) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
addThrowTypes(Collection<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
addToCurrentEOG(List<Node>) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
addToPropertyEdgeDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
addToRemoves(Node, Node) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
 
addTranslationUnit(TranslationUnitDeclaration) - Method in class de.fraunhofer.aisec.cpg.TranslationResult
Add a TranslationUnitDeclaration to this translation result in a thread safe way.
addType(Type) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
Responsible for storing new types into typeState
addTypedef(TypedefDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope
 
addTypeParameter(RecordDeclaration, List<ParameterizedType>) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
Adds a List of ParameterizedType to TypeManager.recordToTypeParameters
addTypeParameter(TemplateDeclaration, ParameterizedType) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
Adds ParameterizedType to the TypeManager.templateToTypeParameters to be able to resolve this type when it is used
ALL - de.fraunhofer.aisec.cpg.helpers.Util.Quantifier
 
analyzeOverridingMethods(RecordDeclaration, List<MethodDeclaration>) - Method in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
Annotation - Class in de.fraunhofer.aisec.cpg.graph
 
Annotation() - Constructor for class de.fraunhofer.aisec.cpg.graph.Annotation
 
AnnotationMember - Class in de.fraunhofer.aisec.cpg.graph
 
AnnotationMember() - Constructor for class de.fraunhofer.aisec.cpg.graph.AnnotationMember
 
ANY - de.fraunhofer.aisec.cpg.helpers.Util.Quantifier
 
applyImplicitCastToArguments(CallExpression, List<CastExpression>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Changes the arguments of the CallExpression to use the implcit casts instead
applyImplicitCastToArguments(ConstructExpression, List<CastExpression>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Changes the arguments of the ConstructExpression to use the implcit casts instead
applyMissingParams(ClassTemplateDeclaration, ConstructExpression, Map<Node, Node>, Map<Node, Node>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Apply missingParameters (either explicit or defaults) to the ConstructExpression and its type
applyTemplateInstantiation(CallExpression, FunctionTemplateDeclaration, FunctionDeclaration, Map<Declaration, Node>, Map<Node, TemplateDeclaration.TemplateInitialization>, Map<Declaration, Integer>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Performs all necessary steps to make a CallExpression instantiate a template: 1.
ARRAY - de.fraunhofer.aisec.cpg.graph.types.PointerType.PointerOrigin
 
ArrayCreationExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Expressions of the form new Type[] that represents the creation of an array, mostly used in combination with a VariableDeclaration.
ArrayCreationExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
ArrayRangeExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Expressions of the form floor ...
ArrayRangeExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayRangeExpression
 
ArraySubscriptionExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Represents the Subscription or access of an array of the form array[index], where both array and index are of type Expression.
ArraySubscriptionExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
ARTIFACT - Static variable in class de.fraunhofer.aisec.cpg.helpers.LocationConverter
 
ArtifactLocation(URI) - Constructor for class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation.ArtifactLocation
 
asList() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.DeclarationSequence
 
ASMDeclarationStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
 
ASMDeclarationStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.ASMDeclarationStatement
 
AssertStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
Represents an assert statement
AssertStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.AssertStatement
 
AST_FORWARD(Node) - Static method in class de.fraunhofer.aisec.cpg.processing.strategy.Strategy
Traverse AST in forward direction.
astNode - Variable in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
attachCallParameters(FunctionDeclaration, List<Expression>) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
Establish dataflow from call arguments to the target FunctionDeclaration parameters
AUTO - de.fraunhofer.aisec.cpg.graph.types.Type.Storage
 
AUTO_DEDUCTION - de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration.TemplateInitialization
 

B

BinaryOperator - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
A binary operation expression, such as "a + b".
BinaryOperator() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
BlockScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
BlockScope(CompoundStatement) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.BlockScope
 
blockStatement - Variable in class de.fraunhofer.aisec.cpg.graph.statements.SynchronizedStatement
 
body - Variable in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
The function body.
Border() - Constructor for class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.Border
 
BRANCH - de.fraunhofer.aisec.cpg.graph.edge.Properties
 
BreakStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
Statement used to interrupt further execution of a loop body and exit the respective loop context.
BreakStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.BreakStatement
 
build() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
 
builder() - Static method in class de.fraunhofer.aisec.cpg.TranslationConfiguration
 
Builder() - Constructor for class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
 

C

cacheType(HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
calcQualifier(List<String>, Type.Qualifier) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
Infers corresponding qualifier information for the type depending of the keywords.
calcStorage(List<String>) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
Infers the corresponding storage type depending on the present storage keyword.
CallableInterface<T extends de.fraunhofer.aisec.cpg.graph.Node> - Interface in de.fraunhofer.aisec.cpg.frontends
 
CallExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
An expression, which calls another function.
CallExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
CallResolver - Class in de.fraunhofer.aisec.cpg.passes
Resolves CallExpression and NewExpression targets.
CallResolver() - Constructor for class de.fraunhofer.aisec.cpg.passes.CallResolver
 
caseExpression - Variable in class de.fraunhofer.aisec.cpg.graph.statements.CaseStatement
Primitive side effect free statement that has to match with the evaluated selector in SwitchStatement
CaseStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
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.
CaseStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.CaseStatement
 
CastExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
 
CastExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
CatchClause - Class in de.fraunhofer.aisec.cpg.graph.statements
 
CatchClause() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.CatchClause
 
checkArgumentValidity(FunctionDeclaration, List<Type>, CallExpression, List<ParameterizedType>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
checkArrayAndPointer(Type, Type) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
checkEOGInvariant(Node) - Static method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
Checks if every node that has another node in its next or previous EOG List is also contained in that nodes previous or next EOG list to ensure the bidirectionality of the relation in both lists.
checkMostCommonImplicitCast(List<CastExpression>, List<CastExpression>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Checks if the current casts are compatible with the casts necessary to match with a new FunctionDeclaration.
children - Variable in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
ClassTemplateDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Node representing a declaration of a ClassTemplate
ClassTemplateDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.ClassTemplateDeclaration
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.FilenameMapper
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.JavaExternalTypeHierarchyResolver
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.Pass
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
 
cleanup() - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
clearCallbacks() - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.IterativeGraphWalker
 
clearCallbacks() - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker
 
clearProcessed() - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
codeInNodes - Variable in class de.fraunhofer.aisec.cpg.TranslationConfiguration
should the code of a node be shown as parameter in the node *
codeInNodes(boolean) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
 
collectDeclarations(Node) - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker
 
commonPath(Collection<File>) - Static method in class de.fraunhofer.aisec.cpg.helpers.CommonPath
 
CommonPath - Class in de.fraunhofer.aisec.cpg.helpers
Find the common root path for a list of files
compare(Node, Node) - Method in class de.fraunhofer.aisec.cpg.helpers.NodeComparator
 
compareTo(Region) - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
compatibleSignatures(List<Type>, List<Type>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
CompoundStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
A statement which contains a list of statements.
CompoundStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.CompoundStatement
 
CompoundStatementExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
An expression, which calls another function.
CompoundStatementExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.CompoundStatementExpression
 
ConditionalExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Represents an expression containing a ternary operator: var x = condition ? valueIfTrue : valueIfFalse;
ConditionalExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
config - Variable in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
connectCurrentToLoopStart() - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
Connects current EOG nodes to the previously saved loop start to mimic control flow of loops
ConstructorDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
The declaration of a constructor within a RecordDeclaration.
ConstructorDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.ConstructorDeclaration
 
constructTemplateInitializationSignatureFromTemplateParameters(FunctionTemplateDeclaration, CallExpression, Map<Node, TemplateDeclaration.TemplateInitialization>, Map<Declaration, Integer>, List<ParameterizedType>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Creates a Mapping between the Parameters of the TemplateDeclaration and the Values provided for the instantiation of the template (Only the ones that are in defined in the instantiation -> no defaults or implicit).
containingType - Variable in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
containsOnOuterLevel(String, char) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
containsParameterizedType(List<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
ContinueStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
Statement used to interrupt further execution of a loop body and jump to the evaluation of the loop condition.
ContinueStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.ContinueStatement
 
ControlFlowSensitiveDFGPass - Class in de.fraunhofer.aisec.cpg.passes
This pass tracks VariableDeclarations and values that are included in the graph by the DFG edge.
ControlFlowSensitiveDFGPass() - Constructor for class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass
 
ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator - Class in de.fraunhofer.aisec.cpg.passes
 
ControlFlowSensitiveDFGPass.IterationFunction - Interface in de.fraunhofer.aisec.cpg.passes
 
createEOG(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
createFrom(String, boolean) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
Use this function for parsing new types and obtaining a new Type the TypeParser creates from * the typeString
createFrom(String, boolean, LanguageFrontend) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
 
createIgnoringAlias(String) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
Does the same as TypeParser.createIgnoringAlias(String) but explicitly does not use type alias resolution.
createInferredConstructor(RecordDeclaration, List<Type>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
createInferredFunction(List<FunctionDeclaration>, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
createInferredFunctionDeclaration(RecordDeclaration, String, String, boolean, List<Type>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
createInferredFunctionTemplate(RecordDeclaration, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Create an inferred FunctionTemplateDeclaration if a call to an FunctionTemplate could not be resolved
createInferredParameters(List<Type>) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
createMethodDummies(List<FunctionDeclaration>, Set<Type>, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Creates an inferred element for each RecordDeclaration if the invocationCandidates are empty
createOrGetTypeParameter(TemplateDeclaration, String) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
Check if a ParameterizedType with name typeName is already registered.
createShallowCopy(Map<VariableDeclaration, Set<Node>>) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Creates a shallow copy to the depth of the nodes.
currentEOG - Variable in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
currentProperties - Variable in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
currentTU - Variable in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
currentTU - Variable in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
currTu - Variable in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
CXX - de.fraunhofer.aisec.cpg.graph.TypeManager.Language
 

D

DATAFLOW - de.fraunhofer.aisec.cpg.graph.types.Type.Origin
 
de.fraunhofer.aisec.cpg - package de.fraunhofer.aisec.cpg
 
de.fraunhofer.aisec.cpg.frontends - package de.fraunhofer.aisec.cpg.frontends
 
de.fraunhofer.aisec.cpg.frontends.java - package de.fraunhofer.aisec.cpg.frontends.java
Frontend for Java using JavaParser.
de.fraunhofer.aisec.cpg.graph - package de.fraunhofer.aisec.cpg.graph
Structure of the Code Property Graph (CPG).
de.fraunhofer.aisec.cpg.graph.declarations - package de.fraunhofer.aisec.cpg.graph.declarations
 
de.fraunhofer.aisec.cpg.graph.edge - package de.fraunhofer.aisec.cpg.graph.edge
 
de.fraunhofer.aisec.cpg.graph.statements - package de.fraunhofer.aisec.cpg.graph.statements
 
de.fraunhofer.aisec.cpg.graph.statements.expressions - package de.fraunhofer.aisec.cpg.graph.statements.expressions
 
de.fraunhofer.aisec.cpg.graph.types - package de.fraunhofer.aisec.cpg.graph.types
 
de.fraunhofer.aisec.cpg.helpers - package de.fraunhofer.aisec.cpg.helpers
Internal helper classes.
de.fraunhofer.aisec.cpg.passes - package de.fraunhofer.aisec.cpg.passes
Passes extend the initial AST by additional edges (and possibly Type nodes).
de.fraunhofer.aisec.cpg.passes.scopes - package de.fraunhofer.aisec.cpg.passes.scopes
 
de.fraunhofer.aisec.cpg.processing - package de.fraunhofer.aisec.cpg.processing
 
de.fraunhofer.aisec.cpg.processing.strategy - package de.fraunhofer.aisec.cpg.processing.strategy
 
de.fraunhofer.aisec.cpg.sarif - package de.fraunhofer.aisec.cpg.sarif
Data structures for SARIF compatible results.
debugParser - Variable in class de.fraunhofer.aisec.cpg.TranslationConfiguration
Set to true to generate debug output for the parser.
debugParser(boolean) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Dump parser debug output to the logs (Caution: this will generate a lot of output).
Declaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Represents a single declaration or definition, i.e.
Declaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.Declaration
 
DeclarationHandler - Class in de.fraunhofer.aisec.cpg.frontends.java
 
DeclarationHandler(JavaLanguageFrontend) - Constructor for class de.fraunhofer.aisec.cpg.frontends.java.DeclarationHandler
 
DeclarationHolder - Interface in de.fraunhofer.aisec.cpg.graph
 
DeclarationSequence - Class in de.fraunhofer.aisec.cpg.graph.declarations
This represents a sequence of one or more declaration(s).
DeclarationSequence() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.DeclarationSequence
 
DeclarationStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
A Statement, which contains a single or multiple Declarations.
DeclarationStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
DeclaredReferenceExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
An expression, which refers to something which is declared, e.g.
DeclaredReferenceExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
DEFAULT - de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration.TemplateInitialization
 
defaultLanguages() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Register all default languages.
defaultPasses() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Register all default Passes.
DefaultStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
Default statement of the form default: that serves as entry point for switch statements.
DefaultStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.DefaultStatement
 
DeleteExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
 
DeleteExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeleteExpression
 
dereference() - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
dereference() - Method in class de.fraunhofer.aisec.cpg.graph.types.IncompleteType
 
dereference() - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
dereference() - Method in class de.fraunhofer.aisec.cpg.graph.types.ParameterizedType
 
dereference() - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
dereference() - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
dereference() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
dereference() - Method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
 
DesignatedInitializerExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
 
DesignatedInitializerExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.DesignatedInitializerExpression
 
detachCallParameters(FunctionDeclaration, List<Expression>) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
DFG_BACKWARD(Node) - Static method in class de.fraunhofer.aisec.cpg.processing.strategy.Strategy
Traverse Data Flow Graph in backward direction.
DFG_FORWARD(Node) - Static method in class de.fraunhofer.aisec.cpg.processing.strategy.Strategy
Traverse Data Flow Graph in forward direction.
disableCleanup - Variable in class de.fraunhofer.aisec.cpg.TranslationConfiguration
Switch off cleaning up TypeManager memory after analysis.
disableCleanup() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
 
dispatch(T) - Method in interface de.fraunhofer.aisec.cpg.frontends.CallableInterface
 
distinctBy(Function<? super T, ?>) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
distinctByIdentity() - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
DoStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
Represents a conditional loop statement of the form: do{...}while(...).
DoStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.DoStatement
 
duplicate() - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
duplicate() - Method in class de.fraunhofer.aisec.cpg.graph.types.IncompleteType
 
duplicate() - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
duplicate() - Method in class de.fraunhofer.aisec.cpg.graph.types.ParameterizedType
 
duplicate() - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
duplicate() - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
duplicate() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
duplicate() - Method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
 

E

EdgeProperty - Annotation Type in de.fraunhofer.aisec.cpg.graph
 
EmptyStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
 
EmptyStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.EmptyStatement
 
END_COLUMN - Static variable in class de.fraunhofer.aisec.cpg.helpers.LocationConverter
 
END_LINE - Static variable in class de.fraunhofer.aisec.cpg.helpers.LocationConverter
 
ensureUniqueSecondaryTypeEdge(Node) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
ensures that the if a nodes contains secondary type edges, those types are also merged and no duplicate is left
ensureUniqueSubTypes(Set<Type>) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
 
ensureUniqueType(Node) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
 
ENTRIES - de.fraunhofer.aisec.cpg.helpers.Util.Edge
 
EnumConstantDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
 
EnumConstantDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.EnumConstantDeclaration
 
EnumDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
 
EnumDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
enumMap - Variable in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
enums - Variable in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
EOG_BACKWARD(Node) - Static method in class de.fraunhofer.aisec.cpg.processing.strategy.Strategy
Traverse Evaluation Order Graph in backward direction.
EOG_FORWARD(Node) - Static method in class de.fraunhofer.aisec.cpg.processing.strategy.Strategy
Traverse Evaluation Order Graph in forward direction.
eogConnect(Util.Connect, Util.Edge, Node, Node...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
eogConnect(Util.Connect, Util.Edge, Node, Util.Connect, Node...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
eogConnect(Util.Edge, Node, Node...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
eogConnect(Util.Edge, Node, Util.Connect, Node...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
eogConnect(Util.Quantifier, Util.Connect, Util.Edge, Node, Node...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
eogConnect(Util.Quantifier, Util.Connect, Util.Edge, Node, Util.Connect, Node...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
Checks if the Node n connects to the nodes in refs over the CPGS EOG graph edges that depict the evaluation order.
eogConnect(Util.Quantifier, Util.Edge, Node, Node...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
eogConnect(Util.Quantifier, Util.Edge, Node, Util.Connect, Node...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
eogTraversal(Node) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Traverses the EOG starting at a node until there is no more outgoing EOGs to new nodes.
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.Annotation
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ClassTemplateDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionTemplateDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ParamVariableDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypedefDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypeParamDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.UsingDirective
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.AssertStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.BreakStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.CaseStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.CatchClause
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.CompoundStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ContinueStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.DoStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayRangeExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CompoundStatementExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeleteExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DesignatedInitializerExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExplicitConstructorInvocation
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExpressionList
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.InitializerListExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Literal
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberCallExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.NewExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.TypeIdExpression
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForEachStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.GotoStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.LabelStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ReturnStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.Statement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.SynchronizedStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.types.IncompleteType
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation.ArtifactLocation
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation
 
equals(Object) - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
errorWithFileLocation(LanguageFrontend, S, Logger, String, Object...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
errorWithFileLocation(Node, Logger, String, Object...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
EvaluationOrderGraphPass - Class in de.fraunhofer.aisec.cpg.passes
Creates an Evaluation Order Graph (EOG) based on AST.
EvaluationOrderGraphPass() - Constructor for class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
exitLoop(Statement, LoopScope) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
Connects the current EOG leaf nodes to the last stacked node, e.g.
EXITS - de.fraunhofer.aisec.cpg.helpers.Util.Edge
 
EXPLICIT - de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration.TemplateInitialization
 
ExplicitConstructorInvocation - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
 
ExplicitConstructorInvocation() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExplicitConstructorInvocation
 
expression - Variable in class de.fraunhofer.aisec.cpg.graph.statements.SynchronizedStatement
 
Expression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Represents one expression.
Expression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
ExpressionHandler - Class in de.fraunhofer.aisec.cpg.frontends.java
 
ExpressionHandler(JavaLanguageFrontend) - Constructor for class de.fraunhofer.aisec.cpg.frontends.java.ExpressionHandler
 
ExpressionList - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
 
ExpressionList() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExpressionList
 
EXTERN - de.fraunhofer.aisec.cpg.graph.types.Type.Storage
 

F

failOnError(boolean) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Fail analysis on first error.
FieldDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Declaration of a field within a RecordDeclaration.
FieldDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
FilenameMapper - Class in de.fraunhofer.aisec.cpg.passes
 
FilenameMapper() - Constructor for class de.fraunhofer.aisec.cpg.passes.FilenameMapper
 
filterCast(List<T>, Class<S>) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
Filters a list of elements with common type T for all elements of instance S, returning a list of type List.
findImportables(Node) - Method in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
findRecords(Node, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
findRecordsAndEnums(Node) - Method in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
findRecordsAndEnums(Node, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
findSupertypeRecords(RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
findTemplates(Node, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Caches all TemplateDeclarations in CallResolver.templateList
first() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.DeclarationSequence
 
firstOrderTypes - Variable in class de.fraunhofer.aisec.cpg.passes.TypeResolver
 
fixInitializers(Node, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
flattenAST(Node) - Static method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker
Flattens the tree, starting at Node n into a list.
ForEachStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
 
ForEachStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.ForEachStatement
 
ForStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
 
ForStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
FunctionDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Represents the declaration or definition of a function.
FunctionDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
FunctionLevelFixpointIterator() - Constructor for class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
 
FunctionPointerType - Class in de.fraunhofer.aisec.cpg.graph.types
FunctionPointerType represents FunctionPointers in CPP containing a list of parameters and a return type.
FunctionPointerType(Type.Qualifier, Type.Storage, List<Type>, Type) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
FunctionPointerType(Type, List<Type>, Type) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
FunctionScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
FunctionScope(FunctionDeclaration) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.FunctionScope
 
FunctionTemplateDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Node representing a declaration of a FunctionTemplate
FunctionTemplateDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.FunctionTemplateDeclaration
 

G

generateInferredStaticallyImportedMethods(CallExpression, String, List<FunctionDeclaration>, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getAccess() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
getAdjacentDFGNodes(Node, boolean) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
This function returns the set of adjacent DFG nodes that is contained in the nodes subgraph.
getAlias() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypedefDeclaration
 
getAllDeclarationsForScope(Node) - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker
 
getAllMethodsFromSupertypes(Set<RecordDeclaration>) - Method in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
getAllParameterizedType(TemplateDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getArguments() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getArgumentsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getArrayExpression() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
getArtifactLocation() - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation
 
getAstChildren(Node) - Static method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker
Retrieves a list of AST children of the specified node by iterating all fields that are annotated with the SubGraph annotation and its value "AST".
getAstNode() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
getBacklog() - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.IterativeGraphWalker
 
getBase() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
getBase() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getBase() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberExpression
 
getBenchmarks() - Method in class de.fraunhofer.aisec.cpg.TranslationResult
 
getBlockStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.SynchronizedStatement
 
getBody() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getBody() - Method in class de.fraunhofer.aisec.cpg.graph.statements.CatchClause
 
getBodyStatementAs(int, Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getBreakStatements() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.BlockScope
 
getBreakStatements() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 
getBreakStatements() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.SwitchScope
 
getBreakStatements() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.TryScope
 
getCallSignature(FunctionDeclaration, Map<ParameterizedType, TypeParamDeclaration>, Map<Declaration, Node>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getCallSignatureWithDefaults(CallExpression, FunctionDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getCaseExpression() - Method in class de.fraunhofer.aisec.cpg.graph.statements.CaseStatement
 
getCastType() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
getCatchClauses() - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
getCatchClausesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
getCatchesOrRelays() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.FunctionScope
 
getCatchesOrRelays() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.TryScope
 
getCeiling() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayRangeExpression
 
getChildren() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.DeclarationSequence
 
getChildren() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
getChildrenPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.DeclarationSequence
 
getCodeBetweenTokens(JavaToken, JavaToken) - Method in class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
getCodeFromRawNode(T) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
Returns the raw code of the ast node, generic for java or c++ ast nodes.
getCodeOfSubregion(Node, Region, Region) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
Returns the code represented by the subregion extracted from the parent node and its region.
getCommonType(Collection<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getCompilationDatabase() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration
 
getCondition() - Method in class de.fraunhofer.aisec.cpg.graph.statements.AssertStatement
 
getCondition() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DoStatement
 
getCondition() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
getCondition() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
getCondition() - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
getCondition() - Method in class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
getConditionDeclaration() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
getConditionDeclaration() - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
getConditionDeclaration() - Method in class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
getConditions() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 
getConfig() - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
getConfig() - Method in class de.fraunhofer.aisec.cpg.TranslationResult
 
getConstructorDeclaration(ConstructExpression, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getConstructorDeclarationDirectMatch(List<Type>, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getConstructorDeclarationForExplicitInvocation(List<Type>, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getConstructors() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getConstructorsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getContainingClass() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExplicitConstructorInvocation
 
getContinueStatements() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 
getCurrentClass() - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker
 
getCurrentEOG() - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
getCurrentTU() - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
getDeclarationAs(int, Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
getDeclarationAs(int, Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
Returns the i-th declaration as a specific class, if it can be cast
getDeclarationForScope(Node, Predicate<ValueDeclaration>) - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker
 
getDeclarations() - Method in interface de.fraunhofer.aisec.cpg.graph.DeclarationHolder
 
getDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.DeclarationSequence
 
getDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
getDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
getDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
getDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
getDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.statements.Statement
 
getDeclarationsByName(String, Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
Returns a non-null, possibly empty Set of the declaration of a specified type and clazz.
getDeclarationsByName(String, Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
Returns a non-null, possibly empty Set of the declaration of a specified type and clazz.
getDeclarationsForTypeNames(List<String>) - Method in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
getDeclarationsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
getDeclarationsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
getDefault() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ParamVariableDeclaration
 
getDefault() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypeParamDeclaration
 
getDefault() - Method in interface de.fraunhofer.aisec.cpg.graph.HasDefault
 
getDefaultParameters() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getDefaultParameterSignature() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getDefinition() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
getDefinition() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getDepth() - Method in class de.fraunhofer.aisec.cpg.graph.types.WrapState
 
getDeserializer() - Method in class de.fraunhofer.aisec.cpg.graph.edge.PropertyEdgeConverterManager
 
getDimensions() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
getDimensionsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
getElementType() - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
getElementType() - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
getElementType() - Method in interface de.fraunhofer.aisec.cpg.graph.types.SecondOrderType
 
getElseExpr() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
getElseStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
getEndColumn() - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
getEndLine() - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
getEntries() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
getEntries() - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.Border
 
getEntriesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
getEOGPathEdges(Node) - Static method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker
Function returns two lists in a list.
getExits() - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.Border
 
getExpression() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
getExpression() - Method in class de.fraunhofer.aisec.cpg.graph.statements.SynchronizedStatement
 
getExpressions() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExpressionList
 
getExpressionsPropertyEdges() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExpressionList
 
getExtension(File) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
getField(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getFields() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
getFields() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getFieldsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getFilename() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
getFilename() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
getFinallyBlock() - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
getFirstOrderTypes() - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getFloor() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayRangeExpression
 
getFqn() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getFrontend() - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getFrontends() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration
 
getFunctions() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
getGenericPropertyEdges() - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
getGenerics() - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
getImplementedInterfaces() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
Interfaces implemented by this class.
getImports() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getImportStatements() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getIncludeByName(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
getIncludes() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
getIncludes() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
getIncludesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
getIncludesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
getInferenceConfiguration() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration
 
getInitializer() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
getInitializer() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
getInitializer() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
getInitializer() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.NewExpression
 
getInitializerAs(Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
getInitializers() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.InitializerListExpression
 
getInitializersPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.InitializerListExpression
 
getInitializerStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
getInitializerStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
getInitializerStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
getInput() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
getInstance() - Static method in class de.fraunhofer.aisec.cpg.graph.edge.PropertyEdgeConverterManager
 
getInstance() - Static method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getInvocationCandidatesFromParents(String, CallExpression, Set<RecordDeclaration>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getInvocationCandidatesFromRecord(RecordDeclaration, String, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getInvokes() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getInvokesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getIterable() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForEachStatement
 
getIterationStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
getIterator(V) - Method in interface de.fraunhofer.aisec.cpg.processing.IStrategy
 
getKind() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getLabel() - Method in class de.fraunhofer.aisec.cpg.graph.statements.BreakStatement
Specifies the label of the loop in a nested structure that this statement will 'break'
getLabel() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ContinueStatement
 
getLabel() - Method in class de.fraunhofer.aisec.cpg.graph.statements.LabelStatement
 
getLabelName() - Method in class de.fraunhofer.aisec.cpg.graph.statements.GotoStatement
 
getLabelStatements() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
getLang() - Method in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
getLang() - Method in class de.fraunhofer.aisec.cpg.passes.Pass
 
getLang() - Method in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
getLanguage() - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getLanguage() - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
 
getLhs() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
getLhs() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DesignatedInitializerExpression
 
getLhsAs(Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
getLhsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DesignatedInitializerExpression
 
getLocals() - Method in class de.fraunhofer.aisec.cpg.graph.statements.Statement
 
getLocalsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.Statement
 
getLocationFromRawNode(T) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
Returns the Region of the code with line and column, index starting at 1, generic for java or c++ ast nodes.
getLocationsFromTokens(PhysicalLocation, JavaToken, JavaToken) - Method in class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
getMember() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberCallExpression
 
getMembers() - Method in class de.fraunhofer.aisec.cpg.graph.Annotation
 
getMessage() - Method in class de.fraunhofer.aisec.cpg.graph.statements.AssertStatement
 
getMethods() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getMethodsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getModifiers() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
getNamePrefix() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.NameScope
 
getNamespaceDelimiter() - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
getNamespaces() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
getNamespaces() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
getNamespacesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
getNewLineType(Node) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
To prevent issues with different newline types and formatting.
getNextTokenWith(String, JavaToken) - Method in class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
getOperand() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeleteExpression
 
getOperatorCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
getOperatorCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberCallExpression
 
getOperatorCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberExpression
 
getOperatorCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.TypeIdExpression
 
getOperatorCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
getOrCreateMembers(EnumDeclaration, String) - Method in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
getOrCreateMembers(RecordDeclaration, String) - Method in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
getOuterTokensWithText(String, String, JavaToken, JavaToken) - Method in class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
getOverriddenBy() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getOverriddenByPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getOverrides() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getOverridesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getOverridingCandidates(Set<Type>, FunctionDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getParameter() - Method in class de.fraunhofer.aisec.cpg.graph.statements.CatchClause
 
getParameterDefaults() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
getParameterizedSignaturesFromInitialization(Map<Declaration, Node>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Gets all ParameterizedTypes from the initialization signature
getParameters() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getParameters() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
getParameters() - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
getParametersOfClazz(Class<? extends Declaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
getParametersPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getParametersPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
getParametersPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
getParametersWithDefaults() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
getParent() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
getPointerOrigin() - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
getPointerOrigin() - Method in class de.fraunhofer.aisec.cpg.graph.types.WrapState
 
getPossibleContainingTypes(Node, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
getPossibleSubTypes() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
getPossibleSubTypes() - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
getPossibleSubTypes() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
getPreviousTokenWith(String, JavaToken) - Method in class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
getProblem() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
getProblemLocation() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
getProblems() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
getProblemsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
getPropagationType() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
There is no case in which we would want to propagate a referenceType as in this case always the underlying ObjectType should be propagated
getPropagationType() - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
getPropagationType() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
getQualifiedName() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.UsingDirective
 
getQualifier() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
getRealization() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ClassTemplateDeclaration
 
getRealization() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionTemplateDeclaration
 
getRealizationDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ClassTemplateDeclaration
 
getRealizationDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionTemplateDeclaration
 
getRealizationDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
getRealizationPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ClassTemplateDeclaration
 
getRealizationPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionTemplateDeclaration
 
getReceiver() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.MethodDeclaration
 
getRecordDeclaration() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.MethodDeclaration
 
getRecordDeclaration() - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
getRecords() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getRecords() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
getRecords() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getRecordsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getRecordsPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getReferenceDepth() - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
getReferenceDepth() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
getReferencedType() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.TypeIdExpression
 
getReferenceType() - Method in class de.fraunhofer.aisec.cpg.graph.types.WrapState
 
getRefersTo() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
getRefersToAs(Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
Returns the contents of DeclaredReferenceExpression.refersTo as the specified class, if the class is assignable.
getRegion() - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation
 
getRegisteredPasses() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration
 
getRemoves() - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
 
getResources() - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
getResourcesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
getReturnType() - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
getReturnValue() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ReturnStatement
 
getRhs() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
getRhs() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DesignatedInitializerExpression
 
getRhsAs(Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
getRoot() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
Obtain the root Type Element for a Type Chain (follows Pointer and ReferenceTypes until Object- Incomplete- FunctionPtrType is reached
getScopedName() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
getScopeManager() - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
getScratch() - Method in class de.fraunhofer.aisec.cpg.TranslationResult
Scratch storage that can be used by passes to store additional information in this result.
getSecondOrderTypes() - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getSelector() - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
getSelectorDeclaration() - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
getSerializer() - Method in class de.fraunhofer.aisec.cpg.graph.edge.PropertyEdgeConverterManager
 
getSignature() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getSignature() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getSignatureTypes() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getSimpleName(String, String) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
getSingleDeclaration() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
getSingleDeclarationAs(Class<T>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
getSourceLocations() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration
 
getStartColumn() - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
getStartLine() - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
getStarts() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 
getStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DoStatement
 
getStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CompoundStatementExpression
 
getStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForEachStatement
 
getStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
getStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
getStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
getStatementEdges() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
getStatementEdges() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getStatementEdges() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
getStatementEdges() - Method in interface de.fraunhofer.aisec.cpg.graph.StatementHolder
Getter to be implemented by implementing classes to gain read access to the classes member.
getStatementEdges() - Method in class de.fraunhofer.aisec.cpg.graph.statements.CompoundStatement
 
getStatements() - Method in interface de.fraunhofer.aisec.cpg.graph.StatementHolder
Returns the list of contained statements.
getStatementsPropertyEdge() - Method in interface de.fraunhofer.aisec.cpg.graph.StatementHolder
 
getStaticImports() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getStaticImports(RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
getStaticImportStatements() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getStorage() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
getStructureDeclarations() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.StructureDeclarationScope
 
getSubscriptExpression() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
getSubStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.LabelStatement
 
getSuperClasses() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
The classes that are extended by this one.
getSuperTypeDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
getSuperTypeDeclarations() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getSuperTypes() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
getSuperTypes() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
Combines both implemented interfaces and extended classes.
getSuperTypes() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
All direct supertypes of this type.
getSuperTypesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
getSymbols() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration
 
getTargetLabel() - Method in class de.fraunhofer.aisec.cpg.graph.statements.GotoStatement
 
getTargetRecord() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.StaticCallExpression
 
getTemplateInitializationSignature(FunctionTemplateDeclaration, CallExpression, Map<Node, TemplateDeclaration.TemplateInitialization>, Map<Declaration, Integer>, List<ParameterizedType>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Creates a Mapping between the Paramerters of the TemplateDeclaration and the Values provided * for the instantiation of the template.
getTemplateInstantiation() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getTemplateParameters() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
getTemplateParameters() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getTemplateParameters() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.NewExpression
 
getTemplateParametersPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getTemplates() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getTemplatesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getThenExpr() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
getThenStatement() - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
getThis() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
getThrowsTypes() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getThrowsTypesPropertyEdge() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
getTodo() - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.IterativeGraphWalker
 
getTopLevel() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration
 
getTranslatedFiles() - Method in class de.fraunhofer.aisec.cpg.TranslationResult
 
getTranslationManager() - Method in class de.fraunhofer.aisec.cpg.TranslationResult
 
getTranslationUnits() - Method in class de.fraunhofer.aisec.cpg.TranslationResult
List of translation units.
getTryBlock() - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
getType() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypedefDeclaration
 
getType() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
getType() - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
getType() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
getTypeCache() - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getTypedefs() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope
 
getTypeListeners() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
getTypeListeners() - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
getTypeListeners() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
getTypeName() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
getTypeOrigin() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
getTypeParameter(RecordDeclaration, String) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getTypeParameter(TemplateDeclaration, String) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
Searches TypeManager.templateToTypeParameters for ParameterizedTypes that were defined in a template matching the provided name
getTypeState() - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
getTypeTemplateParameters() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
getUnknownType() - Static method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
Use this function to obtain an UnknownType or call the TypeParser with the typeString UNKNOWN
getUri() - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation.ArtifactLocation
 
getValue() - Method in class de.fraunhofer.aisec.cpg.graph.AnnotationMember
 
getValue() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Literal
 
getValueDeclarations() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope
 
getValueForName(String) - Method in class de.fraunhofer.aisec.cpg.graph.Annotation
 
getVariable() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForEachStatement
 
getVariableDeclarationByName(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
Looks for a variable declaration by the given name.
getVisited() - Method in class de.fraunhofer.aisec.cpg.processing.IVisitor
 
GlobalScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
GlobalScope() - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.GlobalScope
This should ideally only be called once.
GO - de.fraunhofer.aisec.cpg.graph.TypeManager.Language
 
GotoStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
 
GotoStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.GotoStatement
 
GUESSED - de.fraunhofer.aisec.cpg.graph.types.Type.Origin
 

H

handle(Node) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
 
handle(Node) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass
ControlFlowSensitiveDFG Pass is perfomed on every Method
handle(Node) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
Creates the recordDeclaration relationship between ObjectTypes and RecordDeclaration (from the Type to the Class)
handle(T) - Method in class de.fraunhofer.aisec.cpg.frontends.Handler
Searches for a handler matching the most specific superclass of Handler.
handleAnnotationDeclaration(AnnotationDeclaration) - Method in class de.fraunhofer.aisec.cpg.frontends.java.DeclarationHandler
 
handleAnnotationMemberDeclaration(AnnotationMemberDeclaration) - Method in class de.fraunhofer.aisec.cpg.frontends.java.DeclarationHandler
 
handleArrayCreationExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleArraySubscriptionExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleAssertStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleBinaryOperator(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleBlockStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
handleBreakStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleCallExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleCallExpression(RecordDeclaration, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
handleCaseDefaultStatement(Expression, SwitchEntry) - Method in class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
handleCaseStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleCastExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleClassOrInterfaceDeclaration(ClassOrInterfaceDeclaration) - Method in class de.fraunhofer.aisec.cpg.frontends.java.DeclarationHandler
 
handleCompoundStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleCompoundStatementExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleConditionalExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleConstructExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleConstructorDeclaration(ConstructorDeclaration) - Method in class de.fraunhofer.aisec.cpg.frontends.java.DeclarationHandler
 
handleContinueStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleCXXMethodCall(RecordDeclaration, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
handleDeclarationStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleDeclaredReferenceExpression(DeclaredReferenceExpression, Map<VariableDeclaration, Set<Node>>, ControlFlowSensitiveDFGPass.IterationFunction) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Method that handles DeclaredReferenceExpressions when the EOG is traversed
handleDefault(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleDefaultTemplateParameters(ClassTemplateDeclaration, Map<Node, Node>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Matches declared template arguments to their defaults (without defaults of a previously defined template argument)
handleDeleteExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleDoStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleEnumConstantDeclaration(EnumConstantDeclaration) - Method in class de.fraunhofer.aisec.cpg.frontends.java.DeclarationHandler
 
handleEnumDeclaration(EnumDeclaration) - Method in class de.fraunhofer.aisec.cpg.frontends.java.DeclarationHandler
 
handleExplicitTemplateParameters(ConstructExpression, ClassTemplateDeclaration, Map<Node, Node>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Matches declared template arguments to the explicit instantiation
handleExpressionList(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleExpressionStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
handleFieldDeclaration(FieldDeclaration) - Method in class de.fraunhofer.aisec.cpg.frontends.java.DeclarationHandler
 
handleForEachStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleForStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleFunctionDeclaration(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleFunctionPointerCall(CallExpression, Node) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
handleGotoStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleIfStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleImplicitTemplateParameter(FunctionTemplateDeclaration, int, Map<Declaration, Node>, Map<Node, TemplateDeclaration.TemplateInitialization>, Map<Declaration, Integer>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Check if we are handling an implicit template parameter, if so set instantiationSignature, instantiationType and orderedInitializationSignature maps accordningly
handleInitializerListExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleLabelStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleMemberExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleMethodCall(RecordDeclaration, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
handleMethodDeclaration(MethodDeclaration) - Method in class de.fraunhofer.aisec.cpg.frontends.java.DeclarationHandler
 
handleNamespaceDeclaration(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleNewExpression(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleNormalCallCXX(RecordDeclaration, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
handleNormalCalls(RecordDeclaration, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
handlePossibleStaticImport(CallExpression, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
Handler<S,​T,​L extends LanguageFrontend> - Class in de.fraunhofer.aisec.cpg.frontends
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.
Handler(Supplier<S>, L) - Constructor for class de.fraunhofer.aisec.cpg.frontends.Handler
 
handleRecordDeclaration(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleReturnStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleSingleAlias(LanguageFrontend, String, Type, String) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
handleSpecificSupertype(RecordDeclaration, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
handleStatementHolder(StatementHolder) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleSuperCall(RecordDeclaration, CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Handle calls in the form of super.call() or ClassName.super.call() , conforming to JLS13 §15.12.1
handleSwitchStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleSwitchStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
handleSynchronizedStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleTemplateFunctionCalls(RecordDeclaration, CallExpression, boolean) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
handleTranslationUnitDeclaration(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleTryStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleTypedef(LanguageFrontend, String) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
Handles type defs.
handleUnaryOperator(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleUnknownClassMethod(Type, String, Type, List<Type>) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
handleUnknownField(Type, String, Type) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
handleUnknownMethod(String, Type, List<Type>) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
handleVariableDeclaration(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
handleWhileStatement(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
hasBody() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
HasDefault<T extends de.fraunhofer.aisec.cpg.graph.Node> - Interface in de.fraunhofer.aisec.cpg.graph
Interface that allows us to mark nodes that contain a default value
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.Annotation
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ClassTemplateDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionTemplateDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ParamVariableDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypedefDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypeParamDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.UsingDirective
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.AssertStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.BreakStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.CaseStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.CatchClause
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.CompoundStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ContinueStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DoStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayRangeExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CompoundStatementExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeleteExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DesignatedInitializerExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExplicitConstructorInvocation
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExpressionList
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.InitializerListExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Literal
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberCallExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.NewExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.TypeIdExpression
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForEachStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.GotoStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.LabelStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ReturnStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.Statement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.SynchronizedStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.types.IncompleteType
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation.ArtifactLocation
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation
 
hashCode() - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
hasSameSignature(FunctionDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
hasSignature(List<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
HasType - Interface in de.fraunhofer.aisec.cpg.graph
 
HasType.SecondaryTypeEdge - Interface in de.fraunhofer.aisec.cpg.graph
The Typeresolver needs to be aware of all outgoing edges to types in order to merge equal types to the same node.
HasType.TypeListener - Interface in de.fraunhofer.aisec.cpg.graph
 

I

IfStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
Represents a condition control flow statement, usually indicating by If.
IfStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
importables - Variable in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
ImportResolver - Class in de.fraunhofer.aisec.cpg.passes
 
ImportResolver() - Constructor for class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
includeBlacklist - Variable in class de.fraunhofer.aisec.cpg.TranslationConfiguration
This acts as a black list for include files, if the array is not empty.
includeBlacklist(String) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Adds the specified file to the include blacklist.
IncludeDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
 
IncludeDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
includePath(String) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Directory containing include headers.
includePaths - Variable in class de.fraunhofer.aisec.cpg.TranslationConfiguration
Paths to look for include files.
includeWhitelist - Variable in class de.fraunhofer.aisec.cpg.TranslationConfiguration
This acts as a white list for include files, if the array is not empty.
includeWhitelist(String) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Adds the specified file to the include whitelist.
IncompleteType - Class in de.fraunhofer.aisec.cpg.graph.types
IncompleteTypes are defined as object with unknown size.
IncompleteType() - Constructor for class de.fraunhofer.aisec.cpg.graph.types.IncompleteType
 
IncompleteType(Type) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.IncompleteType
 
INDEX - de.fraunhofer.aisec.cpg.graph.edge.Properties
 
inferenceConfiguration(InferenceConfiguration) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
 
inferRecordDeclaration(Type) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
initializer - Variable in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
The (optional) initializer of the declaration.
InitializerListExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
A list of initializer expressions.
InitializerListExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.InitializerListExpression
 
inputStreamToString(InputStream) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
instantiatesTemplate() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
INSTANTIATION - de.fraunhofer.aisec.cpg.graph.edge.Properties
 
intermediateNodes - Variable in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
invokes - Variable in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
Connection to its FunctionDeclaration.
isArray() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
isArray() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
isArray() - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
isAtomic() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
isCancelled() - Method in class de.fraunhofer.aisec.cpg.TranslationResult
 
isConst() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
isConstExpression() - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
isDefinition() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
isDefinition() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
isElaboratedTypeSpecifier(String) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
Returns whether the specifier is part of an elaborated type specifier.
isFirstOrderType() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
isImplicitInitializerAllowed() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
isImplicitInitializerAllowed() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
isInstantiated(Node, Declaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Checks if the provided call parameter can instantiate the required template parameter
isKnownSpecifier(String) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
 
isOverrideCandidate(FunctionDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
isPostfix() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
isPrefix() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
isPrimitive() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
isPrimitive(Type) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
isQualifierSpecifier(String) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
 
isReference() - Method in class de.fraunhofer.aisec.cpg.graph.types.WrapState
 
isRestrict() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
isSimilar(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
isSimilar(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
isSimilar(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
isSimilar(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
isSimilar(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
Required for possibleSubTypes to check if the new Type should be considered a subtype or not
isSingle() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.DeclarationSequence
 
isSingleDeclaration() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
isStatic() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.MethodDeclaration
 
isStaticAccess() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
isStaticBlock() - Method in class de.fraunhofer.aisec.cpg.graph.statements.CompoundStatement
 
isStorageSpecifier(String) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
 
isSupertypeOf(Type, Type) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
IStrategy<V> - Interface in de.fraunhofer.aisec.cpg.processing
The strategy determines the order in which nodes in the structure are traversed.
isTypeSystemActive() - Static method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
isUnknown(Type) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
isVariadic() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ParamVariableDeclaration
 
isVolatile() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
iterate(Node) - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.IterativeGraphWalker
The core iterative AST traversal algorithm: In a depth-first way we descend into the tree, providing callbacks for graph modification.
iterate(Node) - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker
Wraps SubgraphWalker.IterativeGraphWalker to handle declaration scopes.
iterate(Node, Map<VariableDeclaration, Set<Node>>, Node, boolean) - Method in interface de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.IterationFunction
 
iterateTillFixpoint(Node, Map<VariableDeclaration, Set<Node>>, Node, boolean) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
This function collects the set of variable definitions valid for the VariableDeclarations defined in the program when reaching a join-point, a node reached by more than one incoming EOG-Edge.
IterativeGraphWalker() - Constructor for class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.IterativeGraphWalker
 
IVisitable<V extends IVisitable> - Interface in de.fraunhofer.aisec.cpg.processing
An object that can be visited by a visitor.
IVisitor<V extends IVisitable> - Class in de.fraunhofer.aisec.cpg.processing
Reflective visitor that visits the most specific implementation of visit() methods.
IVisitor() - Constructor for class de.fraunhofer.aisec.cpg.processing.IVisitor
 

J

JAVA - de.fraunhofer.aisec.cpg.graph.TypeManager.Language
 
JavaExternalTypeHierarchyResolver - Class in de.fraunhofer.aisec.cpg.passes
 
JavaExternalTypeHierarchyResolver() - Constructor for class de.fraunhofer.aisec.cpg.passes.JavaExternalTypeHierarchyResolver
 
joinPoints - Variable in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
 

K

key() - Method in annotation type de.fraunhofer.aisec.cpg.graph.EdgeProperty
 

L

LabelStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
A label attached to a statement that is used to change control flow by labeled continue and breaks (Java) or goto(C++).
LabelStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.LabelStatement
 
labelStatements - Variable in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
lang - Variable in class de.fraunhofer.aisec.cpg.frontends.Handler
 
lang - Variable in class de.fraunhofer.aisec.cpg.passes.Pass
 
LanguageFrontend - Class in de.fraunhofer.aisec.cpg.frontends
 
LanguageFrontend(TranslationConfiguration, ScopeManager, String) - Constructor for class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
Literal<T> - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Represents a literal value, meaning the value is fixed and not depending on the runtime evaluation of the expression.
Literal() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.Literal
 
LLVM_IR - de.fraunhofer.aisec.cpg.graph.TypeManager.Language
 
loadIncludes - Variable in class de.fraunhofer.aisec.cpg.TranslationConfiguration
Set to true to transitively load include files into the CPG.
loadIncludes(boolean) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Load C/C++ include headers before the analysis.
locals - Variable in class de.fraunhofer.aisec.cpg.graph.statements.Statement
A list of local variables associated to this statement, defined by their VariableDeclaration extracted from Block because for, while, if, switch can declare locals in their condition or initializers
LocationConverter - Class in de.fraunhofer.aisec.cpg.helpers
 
LocationConverter() - Constructor for class de.fraunhofer.aisec.cpg.helpers.LocationConverter
 
locationLink(PhysicalLocation) - Static method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation
 
log - Static variable in class de.fraunhofer.aisec.cpg.frontends.Handler
 
log - Static variable in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
log - Static variable in class de.fraunhofer.aisec.cpg.passes.Pass
 
log - Static variable in class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope
 
LoopScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
LoopScope(Statement) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 

M

map - Variable in class de.fraunhofer.aisec.cpg.frontends.Handler
 
map - Variable in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
MemberCallExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Represents a CallExpression to a function, which is a member of an object.
MemberCallExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberCallExpression
 
MemberExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Represents access to a field of a RecordDeclaration, such as obj.property.
MemberExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberExpression
 
merge(Type.Qualifier) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
mergeFrom(Collection<GlobalScope>) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.GlobalScope
 
mergeRegions(Region, Region) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
Merges two regions.
mergeStates(Map<VariableDeclaration, Set<Node>>, Map<VariableDeclaration, Set<Node>>) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Merges two states asusming that both states come from valid paths.
MethodDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
A method declaration is a FunctionDeclaration tied to a specific RecordDeclaration.
MethodDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.MethodDeclaration
 
modifyDFGEdges(Node, Map<VariableDeclaration, Set<Node>>) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Perform the actual modification of the DFG edges based on the values that are recorded in the variables map for every VariableDeclaration

N

NAME - de.fraunhofer.aisec.cpg.graph.edge.Properties
 
NameScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
NameScope(Node, String, String) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.NameScope
 
NamespaceDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Declares the scope of a namespace and appends its own name to the current namespace-prefix to form a new namespace prefix.
NamespaceDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
NewExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Represents the creation of a new object through the new keyword.
NewExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.NewExpression
 
NO_STRATEGY(Node) - Static method in class de.fraunhofer.aisec.cpg.processing.strategy.Strategy
Do not traverse any nodes.
NODE - de.fraunhofer.aisec.cpg.helpers.Util.Connect
 
NodeComparator - Class in de.fraunhofer.aisec.cpg.helpers
 
NodeComparator() - Constructor for class de.fraunhofer.aisec.cpg.helpers.NodeComparator
 
NOT_APPLICABLE - de.fraunhofer.aisec.cpg.graph.types.ObjectType.Modifier
 

O

objectListeners - Variable in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
Two data structures used to associate Objects input to a pass to results of a pass, e.g.
ObjectType - Class in de.fraunhofer.aisec.cpg.graph.types
This is the main type in the Type system.
ObjectType() - Constructor for class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
ObjectType(Type, List<Type>, ObjectType.Modifier, boolean) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
ObjectType(String, Type.Storage, Type.Qualifier, List<Type>, ObjectType.Modifier, boolean) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
ObjectType.Modifier - Enum in de.fraunhofer.aisec.cpg.graph.types
ObjectTypes can have a modifier if they are primitive datatypes.
obtainAssignmentNode(Node) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Get node of the BinaryOperator where the assignment is finished (last node of the Assignment)
obtainType(Type) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
Ensures that two different Types that are created at different Points are still the same object in order to only store one node into the database
OPERATOR_POSTFIX_DECREMENT - Static variable in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
OPERATOR_POSTFIX_INCREMENT - Static variable in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
origin - Variable in class de.fraunhofer.aisec.cpg.graph.types.Type
 

P

ParameterizedType - Class in de.fraunhofer.aisec.cpg.graph.types
ParameterizedTypes describe types, that are passed as Paramters to Classes E.g.
ParameterizedType(Type) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.ParameterizedType
 
ParameterizedType(String) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.ParameterizedType
 
parameters - Variable in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
The list of function parameters.
parameters - Variable in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
Parameters the Template requires for instantiation
ParamVariableDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
A declaration of a function or nontype template parameter.
ParamVariableDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.ParamVariableDeclaration
 
parent - Variable in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
parse(File) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
parseAll() - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
Pass - Class in de.fraunhofer.aisec.cpg.passes
Represents an abstract class that enhances the graph before it is persisted.
Pass() - Constructor for class de.fraunhofer.aisec.cpg.passes.Pass
 
Persistable - Interface in de.fraunhofer.aisec.cpg.graph
 
PhysicalLocation - Class in de.fraunhofer.aisec.cpg.sarif
A SARIF compatible location referring to a location, i.e.
PhysicalLocation(URI, Region) - Constructor for class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation
 
PhysicalLocation.ArtifactLocation - Class in de.fraunhofer.aisec.cpg.sarif
 
POINTER - de.fraunhofer.aisec.cpg.graph.types.PointerType.PointerOrigin
 
PointerType - Class in de.fraunhofer.aisec.cpg.graph.types
PointerTypes represent all references to other Types.
PointerType(Type, PointerType.PointerOrigin) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
PointerType(Type, Type, PointerType.PointerOrigin) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
PointerType.PointerOrigin - Enum in de.fraunhofer.aisec.cpg.graph.types
 
PopulatedByPass - Annotation Type in de.fraunhofer.aisec.cpg.graph
This annotation denotes that, this property is populates by a pass.
possibleSubTypes - Variable in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType.TypeListener
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExpressionList
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.InitializerListExpression
 
possibleSubTypesChanged(HasType, HasType, Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
predicateListeners - Variable in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
primitive - Variable in class de.fraunhofer.aisec.cpg.graph.types.Type
 
PRIMITIVES - Static variable in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
 
printBenchmark() - Method in class de.fraunhofer.aisec.cpg.TranslationResult
 
ProblemDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
 
ProblemDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
process(Object, Object) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
processAnnotations - Variable in class de.fraunhofer.aisec.cpg.TranslationConfiguration
Set to true to process annotations or annotation-like elements.
processAnnotations(boolean) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Specifies, whether annotations should be process or not.
processedMapping - Variable in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
processSecondOrderTypes(Type) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
Reduce the SecondOrderTypes to store only the unique SecondOrderTypes
propagateFromJoinPoints(Node, Map<VariableDeclaration, Set<Node>>, Node, boolean) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Propagates the state from the join-point until the next join-point is reached.
propagateValues() - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Iterates over all join-points and propagates the state that is valid for the sum of incoming eog-Paths to refine the dfg edges at variable usage points.
Properties - Enum in de.fraunhofer.aisec.cpg.graph.edge
INDEX:(int) Indicates the position in a list of edges
PropertyEdgeConverter - Class in de.fraunhofer.aisec.cpg.graph.edge
 
PropertyEdgeConverter() - Constructor for class de.fraunhofer.aisec.cpg.graph.edge.PropertyEdgeConverter
 
PropertyEdgeConverterManager - Class in de.fraunhofer.aisec.cpg.graph.edge
Since Neo4J uses the PropertyEdgeConverter (as it implements the CompositeAttributeConverter interface), we cannot define it as a singleton, as it requires to have a constructor.
pushToEOG(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
Creates an EOG-edge between the given argument node and the saved currentEOG Edges.
PYTHON - de.fraunhofer.aisec.cpg.graph.TypeManager.Language
 

Q

qualifier - Variable in class de.fraunhofer.aisec.cpg.graph.types.Type
 
Qualifier() - Constructor for class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
Qualifier(boolean, boolean, boolean, boolean) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
QualifierConverter - Class in de.fraunhofer.aisec.cpg.graph.types
 
QualifierConverter() - Constructor for class de.fraunhofer.aisec.cpg.graph.types.QualifierConverter
 

R

reachableFromValidEOGRoot(Node) - Static method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
Searches backwards in the EOG Graph on whether or not there is a path from a function declaration to the given node.
READ - de.fraunhofer.aisec.cpg.graph.AccessValues
 
READWRITE - de.fraunhofer.aisec.cpg.graph.AccessValues
 
RecordDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Represents a C++ union/struct/class or Java class
RecordDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
recordMap - Variable in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
recordMap - Variable in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
recordMap - Variable in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
records - Variable in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
Classes and Structs can be declared inside a function and are only valid within the function.
records - Variable in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
RecordScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
RecordScope(Node, String, String) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.RecordScope
 
reference(PointerType.PointerOrigin) - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
reference(PointerType.PointerOrigin) - Method in class de.fraunhofer.aisec.cpg.graph.types.IncompleteType
 
reference(PointerType.PointerOrigin) - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
reference(PointerType.PointerOrigin) - Method in class de.fraunhofer.aisec.cpg.graph.types.ParameterizedType
 
reference(PointerType.PointerOrigin) - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
reference(PointerType.PointerOrigin) - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
reference(PointerType.PointerOrigin) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
reference(PointerType.PointerOrigin) - Method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
 
ReferenceType - Class in de.fraunhofer.aisec.cpg.graph.types
ReferenceTypes describe CPP References (int&), which are represent an alternative name for a variable.
ReferenceType(Type) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
ReferenceType(Type.Storage, Type.Qualifier, Type) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
ReferenceType(Type, Type) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
refreshName() - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
refreshNames() - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
refreshNames() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
refreshType() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
refreshType() - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
refreshType() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
refreshType(Node) - Static method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker
 
Region - Class in de.fraunhofer.aisec.cpg.sarif
Code source location, in a SASP/SARIF-compliant "Region" format.
Region() - Constructor for class de.fraunhofer.aisec.cpg.sarif.Region
 
Region(int, int, int, int) - Constructor for class de.fraunhofer.aisec.cpg.sarif.Region
 
REGISTER - de.fraunhofer.aisec.cpg.graph.types.Type.Storage
 
registerHandler(TriConsumer<RecordDeclaration, Node, Node>) - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker
 
registerHandler(BiConsumer<Node, RecordDeclaration>) - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker
 
registerLanguage(Class<? extends LanguageFrontend>, List<String>) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Registers an additional LanguageFrontend.
registerMethods(RecordDeclaration, Node, Node) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
registerObjectListener(Object, BiConsumer<Object, Object>) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
registerOnNodeVisit(Consumer<Node>) - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.IterativeGraphWalker
 
registerOnScopeExit(Consumer<Node>) - Method in class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.IterativeGraphWalker
 
registerOutgoingDFG(Node, Map<VariableDeclaration, Set<Node>>) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
If a Node has a DFG to a VariableDeclaration we need to remove the nextDFG and store the value of the node in our tracking map
registerPass(Pass) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Register an additional Pass.
registerPredicateListener(BiPredicate<Object, Object>, BiConsumer<Object, Object>) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
registerType(T) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
registerTypeListener(HasType.TypeListener) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
registerTypeListener(HasType.TypeListener) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
registerTypeListener(HasType.TypeListener) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
removeConstructor(ConstructorDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
removeDuplicatesInFields(Type) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
Visits all FirstOrderTypes and replace all the fields like returnVal or parameters for FunctionPointertype or Generics for ObjectType
removeDuplicateTypes() - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
 
removeField(FieldDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
removeLocal(VariableDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.Statement
 
removeMethod(MethodDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
removeParameter(ParamVariableDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
removeParameter(ParamVariableDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
removeParameter(TypeParamDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
removeRealization(FunctionDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionTemplateDeclaration
 
removeRealization(RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ClassTemplateDeclaration
 
removeRealization(Node) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
removeRecord(RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
removeRedundantParentheses(String) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
Removes pairs of parentheses that do not provide any further separation.
removes - Variable in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
A Node with refined DFG edges (key) is mapped to a set of nodes that were the previous (unrefined) DFG edges and need to be removed later on
removeTemplate(TemplateDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
removeUnreachableEOGEdges(TranslationUnitDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
Removes EOG edges by first building the negative set of nodes that cannot be visited and then remove there outgoing edges.In contrast to truncateLooseEdges this also removes cycles.
removeValues(ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass
Removes unrefined DFG edges
replaceGenerics(Type, Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
replaceTypeTemplateParameter(Type, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
reset() - Static method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
reset() - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
 
resetTypes(Type) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
resetTypes(Type) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
Used to set the type and clear the possible subtypes list for when a type is more precise than the current.
resetTypes(Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
resolve(Node, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
resolveArguments(CallExpression, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
resolveBase(DeclaredReferenceExpression) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
resolveConstructExpression(ConstructExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
resolveConstructorWithDefaults(ConstructExpression, List<Type>, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
resolveConstructorWithImplicitCast(ConstructExpression, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
RESOLVED - de.fraunhofer.aisec.cpg.graph.types.Type.Origin
 
resolveExplicitConstructorInvocation(ExplicitConstructorInvocation) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
resolveFieldUsages(Node, RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
resolveFunctionPtr(Type, DeclaredReferenceExpression) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
resolveLocalVarUsage(RecordDeclaration, Node, Node) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
resolveMember(Type, DeclaredReferenceExpression) - Method in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
resolvePossibleTypedef(Type) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
resolveWithDefaultArgs(CallExpression, List<FunctionDeclaration>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Resolves a CallExpression to the potential target FunctionDeclarations by checking for ommitted arguments due to previously defined default arguments
resolveWithDefaultArgsFunc(CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
resolveWithImplicitCast(CallExpression, List<FunctionDeclaration>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
modifies: call arguments by applying implicit casts
resolveWithImplicitCastFunc(CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
ReturnStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
Represents a statement that returns out of the current function.
ReturnStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.ReturnStatement
 
reWrapType(Type, Type) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
Reconstructs the type chain when the root node is modified e.g.

S

Scope - Class in de.fraunhofer.aisec.cpg.passes.scopes
Represent semantic scopes in the language and only saves information, such as relevant statements.
Scope() - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
scopedName - Variable in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
ScopedWalker(LanguageFrontend) - Constructor for class de.fraunhofer.aisec.cpg.helpers.SubgraphWalker.ScopedWalker
 
scopeManager - Variable in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
searchTemplateScopeForDefinedParameterizedTypes(Scope, String) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
Searches for ParameterizedType if the scope is a TemplateScope.
SecondOrderType - Interface in de.fraunhofer.aisec.cpg.graph.types
 
selector - Variable in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
Selector that determines the case/default statement of the subsequent execution
separate(String) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
Separates typeString into the different Parts that make up the type information
setAccess(AccessValues) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
setAdditionalTypeKeywords(String) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
setAlias(Type) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypedefDeclaration
 
setArgument(int, Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
setArguments(List<Expression>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
setArrayExpression(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
setAstNode(Node) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
setAtomic(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
setBase(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberExpression
 
setBase(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
setBlockStatement(CompoundStatement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.SynchronizedStatement
 
setBody(CompoundStatement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.CatchClause
 
setBody(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
setCaseExpression(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.CaseStatement
 
setCastOperator(int) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
setCastType(Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
setCatchClauses(List<CatchClause>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
setCatchesOrRelays(Map<Type, List<Node>>) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.FunctionScope
 
setCeiling(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayRangeExpression
 
setChildren(List<Scope>) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
setCodeAndRegion(N, S) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
setComment(S, T) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
setCondition(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.AssertStatement
 
setCondition(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.DoStatement
 
setCondition(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
setCondition(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
setCondition(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
setCondition(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
setConditionDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
setConditionDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
setConditionDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
setConditions(List<Node>) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 
setConst(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
setConstExpression(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
setConstructors(List<ConstructorDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setContainingClass(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExplicitConstructorInvocation
 
setCurrentEOG(Node) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
setCurrentEOG(List<Node>) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
setCurrentEOGs(List<T>) - Method in class de.fraunhofer.aisec.cpg.passes.EvaluationOrderGraphPass
 
setCurrentTU(TranslationUnitDeclaration) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
setDeclarations(List<Declaration>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
setDefault(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ParamVariableDeclaration
 
setDefault(Type) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypeParamDeclaration
 
setDefault(T) - Method in interface de.fraunhofer.aisec.cpg.graph.HasDefault
 
setDefinition(FieldDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
setDefinition(FunctionDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
setDepth(int) - Method in class de.fraunhofer.aisec.cpg.graph.types.WrapState
 
setDimensions(List<Expression>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
setElementType(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.PointerType
 
setElementType(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
setElementType(Type) - Method in interface de.fraunhofer.aisec.cpg.graph.types.SecondOrderType
 
setElseExpr(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
setElseStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
setEndColumn(int) - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
setEndLine(int) - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
setEntries(List<EnumConstantDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
setExpression(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
setExpression(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.SynchronizedStatement
 
setExpressions(List<Statement>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExpressionList
 
setFields(List<FieldDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setFilename(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
setFilename(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
setFinallyBlock(CompoundStatement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
setFloor(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayRangeExpression
 
setFqn(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
setGenerics(List<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
setImplementedInterfaces(List<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setImplicitInitializerAllowed(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
setImplicitInitializerAllowed(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
setImports(Set<Declaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setImportStatements(List<String>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setIngoingDFG(Node, Map<VariableDeclaration, Set<Node>>) - Method in class de.fraunhofer.aisec.cpg.passes.ControlFlowSensitiveDFGPass.FunctionLevelFixpointIterator
Stores the prevDFG to a VariableDeclaration of a node in the removes map and adds the values of the VariableDeclaration as prevDFGs to the node
setInitializer(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
setInitializer(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
setInitializer(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
setInitializer(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.NewExpression
 
setInitializers(List<Expression>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.InitializerListExpression
 
setInitializerStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
setInitializerStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
setInitializerStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
setInput(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
setInvokes(List<FunctionDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
setIsArray(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
setIsArray(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
setIsDefinition(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
setIsDefinition(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
setIterable(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForEachStatement
 
setIterationStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
setKind(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setLabel(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.BreakStatement
 
setLabel(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ContinueStatement
 
setLabel(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.LabelStatement
 
setLabelName(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.GotoStatement
 
setLabelStatements(Map<String, LabelStatement>) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
setLang(LanguageFrontend) - Method in class de.fraunhofer.aisec.cpg.passes.Pass
Passes may need information about what source language they are parsing.
setLang(LanguageFrontend) - Method in class de.fraunhofer.aisec.cpg.passes.ImportResolver
 
setLang(LanguageFrontend) - Method in class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
setLanguageFrontend(LanguageFrontend) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
setLanguageSupplier(Supplier<TypeManager.Language>) - Static method in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
WARNING: This is only intended for Test Purposes of the TypeParser itself without parsing files.
setLhs(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
setLhs(List<Expression>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DesignatedInitializerExpression
 
setLocals(List<VariableDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.Statement
 
setMember(Node) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberCallExpression
 
setMembers(List<AnnotationMember>) - Method in class de.fraunhofer.aisec.cpg.graph.Annotation
 
setMessage(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.AssertStatement
 
setMethods(List<MethodDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setModifiers(List<String>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
setName(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
It is important to set this name to a full qualified name (FQN).
setName(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.StaticCallExpression
 
setNamePrefix(String) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.NameScope
 
setOperand(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeleteExpression
 
setOperatorCode(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
setOperatorCode(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberCallExpression
 
setOperatorCode(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberExpression
 
setOperatorCode(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.TypeIdExpression
 
setOperatorCode(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
setParameter(VariableDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.CatchClause
 
setParameters(List<ParamVariableDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
setParameters(List<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
setParent(Scope) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
setPointerOrigin(PointerType.PointerOrigin) - Method in class de.fraunhofer.aisec.cpg.graph.types.WrapState
 
setPossibleSubTypes(Set<Type>) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
setPossibleSubTypes(Set<Type>, HasType) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
setPossibleSubTypes(Set<Type>, HasType) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
Set the node's possible subtypes.
setPossibleSubTypes(Set<Type>, HasType) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
setPostfix(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
setPrefix(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
setProblem(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
setProblemLocation(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
setQualifiedName(String) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.UsingDirective
 
setQualifier(Type.Qualifier) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
setQualifier(Type.Qualifier) - Method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
 
setReceiver(VariableDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.MethodDeclaration
 
setRecordDeclaration(RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ConstructorDeclaration
 
setRecordDeclaration(RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.MethodDeclaration
 
setRecordDeclaration(RecordDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
setRecords(List<RecordDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
setRecords(List<RecordDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setReference(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.types.WrapState
 
setReferencedType(Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.TypeIdExpression
 
setReferenceType(ReferenceType) - Method in class de.fraunhofer.aisec.cpg.graph.types.WrapState
 
setRefersTo(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
setRegion(Region) - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation
 
setResources(List<Statement>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
setRestrict(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
setReturnType(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
setReturnValue(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ReturnStatement
 
setRhs(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
setRhs(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DesignatedInitializerExpression
 
setRoot(Type) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
setScopedName(String) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.Scope
 
setScopeManager(ScopeManager) - Method in class de.fraunhofer.aisec.cpg.frontends.LanguageFrontend
 
setSelector(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
setSelectorDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
setSingleDeclaration(Declaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
setStartColumn(int) - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
setStartLine(int) - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
setStarts(List<Node>) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 
setStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.DoStatement
 
setStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CompoundStatementExpression
 
setStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForEachStatement
 
setStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForStatement
 
setStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
setStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
setStatementEdges(List<PropertyEdge<Statement>>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.NamespaceDeclaration
 
setStatementEdges(List<PropertyEdge<Statement>>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setStatementEdges(List<PropertyEdge<Statement>>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
setStatementEdges(List<PropertyEdge<Statement>>) - Method in interface de.fraunhofer.aisec.cpg.graph.StatementHolder
 
setStatementEdges(List<PropertyEdge<Statement>>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.CompoundStatement
 
setStatements(List<Statement>) - Method in interface de.fraunhofer.aisec.cpg.graph.StatementHolder
 
setStatic(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.MethodDeclaration
 
setStaticAccess(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
setStaticBlock(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.statements.CompoundStatement
 
setStaticImports(Set<ValueDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setStaticImportStatements(List<String>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setStorage(Type.Storage) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
setStorage(Type.Storage) - Method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
 
setStructureDeclarations(List<Declaration>) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.StructureDeclarationScope
 
setSubscriptExpression(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
setSubStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.LabelStatement
 
setSuperClasses(List<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setSuperTypeDeclarations(Set<RecordDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
setSuperTypeDeclarations(Set<RecordDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setSuperTypes(List<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
setTargetLabel(LabelStatement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.GotoStatement
 
setTargetRecord(String) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.StaticCallExpression
 
setTemplate(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
setTemplateInstantiation(TemplateDeclaration) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
setTemplateParameters(List<PropertyEdge<Node>>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
setTemplateParameters(List<Node>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
setTemplateParameters(List<Node>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.NewExpression
 
setTemplates(List<TemplateDeclaration>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
setThenExpr(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
setThenStatement(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
setThrowsTypes(List<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
setTryBlock(CompoundStatement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
setType(Type) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypedefDeclaration
 
setType(Type) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
setType(Type, HasType) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
setType(Type, HasType) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
Set the node's type.
setType(Type, HasType) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
setTypedefs(List<TypedefDeclaration>) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope
 
setTypeOrigin(Type.Origin) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
setTypeOrigin(Type.Origin) - Method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
 
setTypeSystemActive(boolean) - Static method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
setValue(Expression) - Method in class de.fraunhofer.aisec.cpg.graph.AnnotationMember
 
setValue(T) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Literal
 
setValueDeclarations(List<ValueDeclaration>) - Method in class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope
 
setVariable(Statement) - Method in class de.fraunhofer.aisec.cpg.graph.statements.ForEachStatement
 
setVariadic(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ParamVariableDeclaration
 
setVolatile(boolean) - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
shouldContinueSearchInParent(RecordDeclaration, String) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
In C++ if there is a method that matches the name we are looking for, we have to stop searching in the parents even if the signature of the method does not match
shouldSearchForInvokesInParent(CallExpression) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
In C++ search we don't search in the parent if there is a potential candidate with matching name
ShutDownException - Exception in de.fraunhofer.aisec.cpg.helpers
 
ShutDownException() - Constructor for exception de.fraunhofer.aisec.cpg.helpers.ShutDownException
 
signatureWithImplicitCastTransformation(List<Type>, List<Expression>, List<Type>) - Method in class de.fraunhofer.aisec.cpg.passes.CallResolver
Computes the implicit casts that are necessary to reach the
SIGNED - de.fraunhofer.aisec.cpg.graph.types.ObjectType.Modifier
 
SOURCE_LOCATIONS_TO_FRONTEND - Static variable in class de.fraunhofer.aisec.cpg.TranslationResult
 
sourceLocations(File...) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Files or directories containing the source code to analyze.
sourceLocations(List<File>) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Files or directories containing the source code to analyze
splitLeavingParenthesisContents(String, String) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
Split a String into multiple parts by using one or more delimiter characters.
START_COLUMN - Static variable in class de.fraunhofer.aisec.cpg.helpers.LocationConverter
 
START_LINE - Static variable in class de.fraunhofer.aisec.cpg.helpers.LocationConverter
 
starts() - Method in class de.fraunhofer.aisec.cpg.passes.scopes.LoopScope
 
Statement - Class in de.fraunhofer.aisec.cpg.graph.statements
A statement.
Statement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.Statement
 
StatementHandler - Class in de.fraunhofer.aisec.cpg.frontends.java
 
StatementHandler(JavaLanguageFrontend) - Constructor for class de.fraunhofer.aisec.cpg.frontends.java.StatementHandler
 
StatementHolder - Interface in de.fraunhofer.aisec.cpg.graph
This interface denotes an AST-Node that can contain code.
STATIC - de.fraunhofer.aisec.cpg.graph.types.Type.Storage
 
StaticCallExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
A CallExpression that targets a static function of a different RecordDeclaration, without using a static import: SomeClass.invoke()
StaticCallExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.StaticCallExpression
 
stopPropagation(Type, Type) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
storage - Variable in class de.fraunhofer.aisec.cpg.graph.types.Type
auto, extern, static, register: consider "auto" as modifier or auto to automatically infer the value.
Strategy - Class in de.fraunhofer.aisec.cpg.processing.strategy
Strategies (iterators) for traversing graphs to be used by visitors.
StructureDeclarationScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
StructureDeclarationScope(Node) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.StructureDeclarationScope
 
SubGraph - Annotation Type in de.fraunhofer.aisec.cpg.graph
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 - Class in de.fraunhofer.aisec.cpg.helpers
Helper class for graph walking: Walking through ast-, cfg-, ...- edges
SubgraphWalker.Border - Class in de.fraunhofer.aisec.cpg.helpers
For better readability: result.entries instead of result.get(0) when working with getEOGPathEdges.
SubgraphWalker.IterativeGraphWalker - Class in de.fraunhofer.aisec.cpg.helpers
 
SubgraphWalker.ScopedWalker - Class in de.fraunhofer.aisec.cpg.helpers
Handles declaration scope monitoring for iterative traversals.
subnodesOfCode(Node, String) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
Filters the nodes in the AST subtree at root node for Nodes with the specified code.
SUBTREE - de.fraunhofer.aisec.cpg.helpers.Util.Connect
 
superTypes - Variable in class de.fraunhofer.aisec.cpg.graph.types.Type
 
superTypesMap - Variable in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
supportsLanguageFrontend(LanguageFrontend) - Method in class de.fraunhofer.aisec.cpg.passes.Pass
Specifies, whether this pass supports this particular language frontend.
SwitchScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
SwitchScope(SwitchStatement) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.SwitchScope
 
SwitchStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
Represents a Java or C++ switch statement of the switch (selector) {...} that can include case and default statements.
SwitchStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.SwitchStatement
 
symbols - Variable in class de.fraunhofer.aisec.cpg.TranslationConfiguration
Definition of additional symbols, mostly useful for C++.
symbols(Map<String, String>) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
 
SynchronizedStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
 
SynchronizedStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.SynchronizedStatement
 

T

TemplateDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Abstract class representing the template concept
TemplateDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration
 
TemplateDeclaration.TemplateInitialization - Enum in de.fraunhofer.aisec.cpg.graph.declarations
 
templateList - Variable in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
TemplateScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
TemplateScope(Node, String, String) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.TemplateScope
 
throwsTypes - Variable in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
toEntityAttribute(Map<String, ?>) - Method in class de.fraunhofer.aisec.cpg.graph.edge.PropertyEdgeConverter
 
toEntityAttribute(Map<String, ?>) - Method in class de.fraunhofer.aisec.cpg.graph.types.QualifierConverter
 
toEntityAttribute(Map<String, ?>) - Method in class de.fraunhofer.aisec.cpg.helpers.LocationConverter
 
toGraphProperties(Type.Qualifier) - Method in class de.fraunhofer.aisec.cpg.graph.types.QualifierConverter
 
toGraphProperties(PhysicalLocation) - Method in class de.fraunhofer.aisec.cpg.helpers.LocationConverter
 
toGraphProperties(Map<Properties, Object>) - Method in class de.fraunhofer.aisec.cpg.graph.edge.PropertyEdgeConverter
 
topLevel(File) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.EnumDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FunctionDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.IncludeDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ProblemDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypedefDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.CompoundStatement
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DeclarationStatement
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.DoStatement
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DesignatedInitializerExpression
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExplicitConstructorInvocation
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.InitializerListExpression
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Literal
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.MemberExpression
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.NewExpression
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.IfStatement
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.LabelStatement
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.ReturnStatement
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.types.FunctionPointerType
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.types.ReferenceType
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type.Qualifier
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.types.Type
 
toString() - Method in class de.fraunhofer.aisec.cpg.graph.types.UnknownType
 
toString() - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation.ArtifactLocation
 
toString() - Method in class de.fraunhofer.aisec.cpg.sarif.PhysicalLocation
 
toString() - Method in class de.fraunhofer.aisec.cpg.sarif.Region
 
toString() - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration
 
toType() - Method in class de.fraunhofer.aisec.cpg.graph.declarations.RecordDeclaration
Returns a type represented by this record.
TranslationConfiguration - Class in de.fraunhofer.aisec.cpg
The configuration for the TranslationManager holds all information that is used during the translation.
TranslationConfiguration.Builder - Class in de.fraunhofer.aisec.cpg
TranslationException - Exception in de.fraunhofer.aisec.cpg.frontends
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.
TranslationException(Exception) - Constructor for exception de.fraunhofer.aisec.cpg.frontends.TranslationException
 
TranslationException(String) - Constructor for exception de.fraunhofer.aisec.cpg.frontends.TranslationException
 
TranslationResult - Class in de.fraunhofer.aisec.cpg
The global (intermediate) result of the translation.
TranslationResult(TranslationManager) - Constructor for class de.fraunhofer.aisec.cpg.TranslationResult
 
TranslationUnitDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
The top most declaration, representing a translation unit, for example a file.
TranslationUnitDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.TranslationUnitDeclaration
 
TriConsumer<A,​B,​C> - Interface in de.fraunhofer.aisec.cpg.helpers
 
TryScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
 
TryScope(Node) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.TryScope
 
TryStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
 
TryStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.TryStatement
 
type - Variable in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
type - Variable in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
The type of the value after evaluation.
Type - Class in de.fraunhofer.aisec.cpg.graph.types
Abstract Type, describing all possible SubTypes, i.e.
Type() - Constructor for class de.fraunhofer.aisec.cpg.graph.types.Type
 
Type(Type) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.Type
 
Type(String) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.Type
 
Type(String, Type.Storage, Type.Qualifier) - Constructor for class de.fraunhofer.aisec.cpg.graph.types.Type
 
Type.Origin - Enum in de.fraunhofer.aisec.cpg.graph.types
Type Origin describes where the Type information came from
Type.Qualifier - Class in de.fraunhofer.aisec.cpg.graph.types
Describes possible qualifiers that can be added to the type in order to modify its behavior.
Type.Storage - Enum in de.fraunhofer.aisec.cpg.graph.types
Describes Storage specifier of variables.
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.FieldDeclaration
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
typeChanged(HasType, HasType, Type) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType.TypeListener
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArrayCreationExpression
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ArraySubscriptionExpression
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.BinaryOperator
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ConditionalExpression
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.DeclaredReferenceExpression
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.ExpressionList
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.InitializerListExpression
 
typeChanged(HasType, HasType, Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
TypedefDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Represents a type alias definition as found in C/C++: typedef unsigned long ulong;
TypedefDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.TypedefDeclaration
 
typeExists(String) - Method in class de.fraunhofer.aisec.cpg.graph.TypeManager
 
TypeExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Represets a Type used as an expression for instance when instantiating templates
TypeExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.TypeExpression
 
TypeHierarchyResolver - Class in de.fraunhofer.aisec.cpg.passes
Transitively RecordDeclaration nodes with their supertypes' records.
TypeHierarchyResolver() - Constructor for class de.fraunhofer.aisec.cpg.passes.TypeHierarchyResolver
 
TypeIdExpression - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
Modells C++ operations that inspect types.
TypeIdExpression() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.TypeIdExpression
 
TypeManager - Class in de.fraunhofer.aisec.cpg.graph
 
TypeManager.Language - Enum in de.fraunhofer.aisec.cpg.graph
 
TypeParamDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
A declaration of a type template parameter
TypeParamDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.TypeParamDeclaration
 
TypeParser - Class in de.fraunhofer.aisec.cpg.graph.types
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 - Class in de.fraunhofer.aisec.cpg.passes
 
TypeResolver() - Constructor for class de.fraunhofer.aisec.cpg.passes.TypeResolver
 
TYPESCRIPT - de.fraunhofer.aisec.cpg.graph.TypeManager.Language
 
typeState - Variable in class de.fraunhofer.aisec.cpg.passes.TypeResolver
 
typeSystemActiveInFrontend(boolean) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
If false, the type system is only activated once the frontends are done building the initial AST structure.

U

UnaryOperator - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
A unary operator expression, involving one expression and an operator, such as a++.
UnaryOperator() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.UnaryOperator
 
UninitializedValue - Class in de.fraunhofer.aisec.cpg.graph.statements.expressions
 
UninitializedValue() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.expressions.UninitializedValue
 
UNKNOWN - de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration.TemplateInitialization
 
UNKNOWN - de.fraunhofer.aisec.cpg.graph.TypeManager.Language
 
UNKNOWN_TYPE_STRING - Static variable in class de.fraunhofer.aisec.cpg.graph.types.Type
 
UNKNOWN_TYPE_STRING - Static variable in class de.fraunhofer.aisec.cpg.graph.types.TypeParser
 
UnknownType - Class in de.fraunhofer.aisec.cpg.graph.types
UnknownType describe the case in which it is not possible for the CPG to determine which Type is used.
UNREACHABLE - de.fraunhofer.aisec.cpg.graph.edge.Properties
 
unregisterLanguage(Class<? extends LanguageFrontend>) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Unregisters a registered LanguageFrontend.
unregisterTypeListener(HasType.TypeListener) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
unregisterTypeListener(HasType.TypeListener) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
unregisterTypeListener(HasType.TypeListener) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
UNRESOLVED - de.fraunhofer.aisec.cpg.graph.types.Type.Origin
 
UNSIGNED - de.fraunhofer.aisec.cpg.graph.types.ObjectType.Modifier
 
updatePossibleSubtypes(Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
updatePossibleSubtypes(Set<Type>) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
 
updatePossibleSubtypes(Set<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
updateTemplateParameters(Map<Node, TemplateDeclaration.TemplateInitialization>, List<Node>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
updateType(Node, Collection<Type>) - Method in class de.fraunhofer.aisec.cpg.passes.TypeResolver
 
updateType(Type) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
updateType(Type) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType
Sideeffect free type modification WARNING: This should only be used by the TypeSystem Pass
updateType(Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CastExpression
 
updateType(Type) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.Expression
 
updateType(Collection<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.declarations.TypeParamDeclaration
 
updateType(Collection<Type>) - Method in interface de.fraunhofer.aisec.cpg.graph.HasType.SecondaryTypeEdge
 
updateType(Collection<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.statements.expressions.CallExpression
 
updateType(Collection<Type>) - Method in class de.fraunhofer.aisec.cpg.graph.types.ObjectType
 
useCompilationDatabase(CompilationDatabase) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
 
useParallelFrontends(boolean) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
If true, the ASTs for the source files are parsed in parallel, but the passes afterwards will still run in a single thread.
useUnityBuild(boolean) - Method in class de.fraunhofer.aisec.cpg.TranslationConfiguration.Builder
Only relevant for C++.
UsingDirective - Class in de.fraunhofer.aisec.cpg.graph.declarations
 
UsingDirective() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.UsingDirective
 
Util - Class in de.fraunhofer.aisec.cpg.helpers
 
Util() - Constructor for class de.fraunhofer.aisec.cpg.helpers.Util
 
Util.Connect - Enum in de.fraunhofer.aisec.cpg.helpers
 
Util.Edge - Enum in de.fraunhofer.aisec.cpg.helpers
 
Util.Quantifier - Enum in de.fraunhofer.aisec.cpg.helpers
 

V

value() - Method in annotation type de.fraunhofer.aisec.cpg.graph.PopulatedByPass
 
value() - Method in annotation type de.fraunhofer.aisec.cpg.graph.SubGraph
 
ValueDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
A declaration who has a type.
ValueDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.ValueDeclaration
 
ValueDeclarationScope - Class in de.fraunhofer.aisec.cpg.passes.scopes
Is a scope where local variables can be declared and independent from specific language constructs.
ValueDeclarationScope(Node) - Constructor for class de.fraunhofer.aisec.cpg.passes.scopes.ValueDeclarationScope
 
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.graph.AccessValues
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration.TemplateInitialization
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.graph.edge.Properties
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.graph.TypeManager.Language
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.graph.types.ObjectType.Modifier
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.graph.types.PointerType.PointerOrigin
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.graph.types.Type.Origin
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.graph.types.Type.Storage
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.helpers.Util.Connect
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.helpers.Util.Edge
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum de.fraunhofer.aisec.cpg.helpers.Util.Quantifier
Returns the enum constant of this type with the specified name.
values() - Static method in enum de.fraunhofer.aisec.cpg.graph.AccessValues
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.graph.declarations.TemplateDeclaration.TemplateInitialization
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.graph.edge.Properties
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.graph.TypeManager.Language
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.graph.types.ObjectType.Modifier
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.graph.types.PointerType.PointerOrigin
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.graph.types.Type.Origin
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.graph.types.Type.Storage
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.helpers.Util.Connect
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.helpers.Util.Edge
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum de.fraunhofer.aisec.cpg.helpers.Util.Quantifier
Returns an array containing the constants of this enum type, in the order they are declared.
VariableDeclaration - Class in de.fraunhofer.aisec.cpg.graph.declarations
Represents the declaration of a variable.
VariableDeclaration() - Constructor for class de.fraunhofer.aisec.cpg.graph.declarations.VariableDeclaration
 
VariableUsageResolver - Class in de.fraunhofer.aisec.cpg.passes
Creates new connections between the place where a variable is declared and where it is used.
VariableUsageResolver() - Constructor for class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
visit(V) - Method in class de.fraunhofer.aisec.cpg.processing.IVisitor
 

W

walker - Variable in class de.fraunhofer.aisec.cpg.passes.CallResolver
 
walker - Variable in class de.fraunhofer.aisec.cpg.passes.VariableUsageResolver
 
warnWithFileLocation(LanguageFrontend, S, Logger, String, Object...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
warnWithFileLocation(Node, Logger, String, Object...) - Static method in class de.fraunhofer.aisec.cpg.helpers.Util
 
WhileStatement - Class in de.fraunhofer.aisec.cpg.graph.statements
Represents a conditional loop statement of the form: while(...){...}.
WhileStatement() - Constructor for class de.fraunhofer.aisec.cpg.graph.statements.WhileStatement
 
WrapState - Class in de.fraunhofer.aisec.cpg.graph.types
Stores State for rewrap when typeinformation has been unwrapped
WrapState() - Constructor for class de.fraunhofer.aisec.cpg.graph.types.WrapState
 
WRITE - de.fraunhofer.aisec.cpg.graph.AccessValues
 
A B C D E F G H I J K L M N O P Q R S T U V W 
All Classes|All Packages