Index
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
nwith the nodebranchingExpif present or with the nodebranchingDecl. - 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
TranslationUnitDeclarationto 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.templateToTypeParametersto 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 aVariableDeclaration. - 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 botharrayandindexare of typeExpression. - 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
FunctionDeclarationparameters - 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
CallExpressionandNewExpressiontargets. - 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 multipleDeclarations. - 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
nconnects to the nodes inrefsover 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
SubGraphannotation 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
Setof 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
Setof 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
Regionof 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.refersToas 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.templateToTypeParametersfor 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
Handleris 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()orClassName.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.IterativeGraphWalkerto 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
VariableDeclarationextracted 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
CallExpressionto 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 asobj.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
FunctionDeclarationtied to a specificRecordDeclaration. - 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
newkeyword. - 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
CallExpressionthat targets a static function of a differentRecordDeclaration, 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
Nodeor 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.entriesinstead ofresult.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
nodefor 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
TranslationManagerholds all information that is used during the translation. - TranslationConfiguration.Builder - Class in de.fraunhofer.aisec.cpg
-
Builds a
TranslationConfiguration. - 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
RecordDeclarationnodes 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
All Classes|All Packages