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. |