Home
last modified time | relevance | path

Searched defs:ProgramState (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState_Fwd.h17 class ProgramState; variable
H A DExprEngine.h89 class ProgramState; variable
H A DProgramState.h502 friend class ProgramState; variable
/llvm-project-15.0.7/cross-project-tests/debuginfo-tests/dexter/dex/dextIR/
H A DProgramState.py94 class ProgramState: class
H A DStepIR.py52 program_state: ProgramState = None):
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, in ProgramState() function in ProgramState
56 ProgramState::ProgramState(const ProgramState &RHS) in ProgramState() function in ProgramState
/llvm-project-15.0.7/clang/utils/analyzer/
H A Dexploded-graph-rewriter.py262 class ProgramState: class