InferenceConfiguration

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

Types

class Builder(var guessCastExpressions: Boolean = false, var inferRecords: Boolean = false, var inferDfgForUnresolvedCalls: Boolean = true)

open override fun toString(): String

Enables smart guessing of cast vs. call expressions in the CXXLanguageFrontend

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

Enables the inference of record declarations