cpg-core/de.fraunhofer.aisec.cpg/InferenceConfiguration

InferenceConfiguration

This class holds configuration options for the inference of certain constructs and auto-guessing when executing language frontends.

Types

Builder

class Builder(enabled: Boolean = true, inferNamespaces: Boolean = true, inferRecords: Boolean = true, inferFunctions: Boolean = true, inferVariables: Boolean = true, inferDfgForUnresolvedCalls: Boolean = true)

Companion

object Companion

Properties

enabled

val enabled: Boolean

Enables or disables the inference system as a whole.

inferDfgForUnresolvedSymbols

val inferDfgForUnresolvedSymbols: Boolean

Uses heuristics to add DFG edges for call expressions to unresolved functions (i.e., functions not implemented in the given source code).

inferFunctions

val inferFunctions: Boolean

Enables the inference of function declarations.

inferNamespaces

val inferNamespaces: Boolean

Enables the inference of namespace declarations.

inferRecords

val inferRecords: Boolean

Enables the inference of record declarations.

inferVariables

val inferVariables: Boolean

Enables the inference of variables, such as global variables.

Functions

toString

open override fun toString(): String