CodeQL library for C/C++
codeql/cpp-all 0.12.9 (changelog, source)
Search

Class IREscapeAnalysisConfiguration

The query can extend this class to control what escape analysis is used when generating SSA.

Import path

import semmle.code.cpp.ir.implementation.IRConfiguration

Direct supertypes

Known direct subtypes

    Predicates

    toString

    Gets a textual representation of this element.

    useSoundEscapeAnalysis

    Holds if the escape analysis done by SSA construction should be sound. By default, the SSA is built assuming that no variable’s address ever escapes.