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.

preferIntegerType

fun preferIntegerType(a: NumericType, b: NumericType): Int

A small helper function that prefers IntegerType when comparing two NumericType types.

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.

tryNamespaceInference

fun Pass<*>.tryNamespaceInference(name: Name, locationHint: Node?): NamespaceDeclaration?

Tries to infer a NamespaceDeclaration from a Name. This will return null, if inference was not possible, or if it was turned off in the InferenceConfiguration.