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 C/C++ language frontend

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