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, inferReturnTypes: Boolean = false, 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.

inferReturnTypes

val inferReturnTypes: Boolean

A very EXPERIMENTAL feature. If this is enabled, we will try to infer return types of functions based on the context of the call it originated out of. This is disabled by default.

inferVariables

val inferVariables: Boolean

Enables the inference of variables, such as global variables.

Functions

toString

open override fun toString(): String