cpg-core/de.fraunhofer.aisec.cpg.passes.inference

Package-level declarations

Types

class Inference(val start: Node) : LanguageProvider, IsInferredProvider

This class contains different kinds of helper that infer certain Nodes that are not present in the source code but that we assure are present in the overall program (e.g., if because we only see parts of it).

IsInferredProvider

interface IsInferredProvider : MetadataProvider

Provides information about the inference status of a node.

Functions

inferFunction

fun TranslationUnitDeclaration.inferFunction(call: CallExpression, isStatic: Boolean = false): FunctionDeclaration

Tries to infer a FunctionDeclaration from a CallExpression.

inferMethod

fun RecordDeclaration.inferMethod(call: CallExpression, isStatic: Boolean = false): MethodDeclaration

Tries to infer a MethodDeclaration from a CallExpression.

startInference

fun Node.startInference(): Inference

Returns a new Inference object starting from this node.