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

Package-level declarations

Types

If the user of the library registers one or multiple DFG-function summary files (via Builder.registerFunctionSummaries), this class is responsible for parsing the files, caching the result and adding the respective DFG summaries to the FunctionDeclaration.

Inference

class Inference : LanguageProvider, ScopeProvider, IsInferredProvider, ContextProvider, RawNodeTypeProvider<Nothing>

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).

IsImplicitProvider

interface IsImplicitProvider : MetadataProvider

Provides information about the implicit status of a node.

IsInferredProvider

interface IsInferredProvider : MetadataProvider

Provides information about the inference status of a node.

Functions

inferFunction

fun NamespaceDeclaration.inferFunction(call: CallExpression, isStatic: Boolean = false, ctx: TranslationContext): FunctionDeclaration?

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

Tries to infer a FunctionDeclaration from a CallExpression.

inferMethod

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

Tries to infer a MethodDeclaration from a CallExpression.

startInference

fun Node.startInference(ctx: TranslationContext): Inference?

Returns a new Inference object starting from this node. This will check, whether inference is enabled at all (using InferenceConfiguration.enabled). Otherwise null, will be returned.