Home
last modified time | relevance | path

Searched refs:ProgramState (Results 1 – 23 of 23) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp36 ProgramState *s = const_cast<ProgramState*>(state); in ProgramStateRelease()
40 s->~ProgramState(); in ProgramStateRelease()
46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, in ProgramState() function in ProgramState
56 ProgramState::ProgramState(const ProgramState &RHS) in ProgramState() function in ProgramState
62 ProgramState::~ProgramState() { in ~ProgramState()
312 ProgramState NewSt = *this; in BindExpr()
397 ProgramState State(this, in getInitialState()
428 newState = (ProgramState*) Alloc.Allocate<ProgramState>(); in getPersistentState()
436 ProgramState NewSt(*this); in makeWithStore()
442 ProgramState NewSt(*this); in cloneAsPosteriorlyOverconstrained()
[all …]
H A DCMakeLists.txt39 ProgramState.cpp
H A DConstraintManager.cpp58 const ProgramState *RawSt = State.get(); in assumeDualImpl()
H A DBugReporterVisitors.cpp2781 const ProgramState *state = N->getState().get(); in patternMatch()
2787 const ProgramState *state = N->getState().get(); in patternMatch()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h70 class ProgramState : public llvm::FoldingSetNode {
76 void operator=(const ProgramState& R) = delete;
139 ProgramState(const ProgramState &RHS);
141 ~ProgramState();
502 friend class ProgramState; variable
519 llvm::FoldingSet<ProgramState> StateSet;
531 std::vector<ProgramState *> freeStates;
803 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal()
810 ProgramState::getSValAsScalarOrLoc(const Stmt *S, in getSValAsScalarOrLoc()
862 ProgramStateRef ProgramState::remove() const { in remove()
[all …]
H A DProgramState_Fwd.h17 class ProgramState; variable
19 void ProgramStateRetain(const ProgramState *state);
20 void ProgramStateRelease(const ProgramState *state);
25 template <> struct IntrusiveRefCntPtrInfo<const clang::ento::ProgramState> {
26 static void retain(const clang::ento::ProgramState *state) {
29 static void release(const clang::ento::ProgramState *state) {
37 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef;
H A DConstraintManager.h135 void push(const ProgramState *S) { Aux.push_back(S); } in push()
137 bool contains(const ProgramState *S) const { in contains()
142 llvm::SmallVector<const ProgramState *, 4> Aux;
H A DExprEngine.h89 class ProgramState; variable
/llvm-project-15.0.7/cross-project-tests/debuginfo-tests/dexter/dex/dextIR/
H A DStepIR.py16 from dex.dextIR.ProgramState import ProgramState
52 program_state: ProgramState = None): argument
H A D__init__.py17 from dex.dextIR.ProgramState import ProgramState, SourceLocation, StackFrame
H A DProgramState.py94 class ProgramState: class
107 if not other or not isinstance(other, ProgramState):
/llvm-project-15.0.7/cross-project-tests/debuginfo-tests/dexter/dex/command/commands/
H A DDexExpectProgramState.py14 from dex.dextIR import ProgramState, SourceLocation, StackFrame, DextIR
22 def state_from_dict(source: dict) -> ProgramState:
26 return ProgramState(**source)
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/
H A DREADME.txt23 (ProgramState). A location in the program is called a program point
42 recorded in the ProgramState object (and are manipulated by the
52 ProgramState and ExplodedNodes are basically immutable once created. Once
53 one creates a ProgramState, you need to create a new one to get a new
54 ProgramState. This immutability is key since the ExplodedGraph represents
65 ProgramState and ExplodedNode which contains updated checker state. If it
/llvm-project-15.0.7/cross-project-tests/debuginfo-tests/dexter/dex/debugger/dbgeng/
H A Ddbgeng.py14 from dex.dextIR import ProgramState, StackFrame, SourceLocation
151 program_state=ProgramState(state_frames))
/llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/
H A DBUILD.gn48 "ProgramState.cpp",
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DDereferenceChecker.cpp52 const Expr *Ex, const ProgramState *state,
64 const ProgramState *state, in AddDerefSource()
/llvm-project-15.0.7/cross-project-tests/debuginfo-tests/dexter/dex/debugger/lldb/
H A DLLDB.py17 from dex.dextIR import StackFrame, SourceLocation, ProgramState
249 program_state=ProgramState(state_frames))
/llvm-project-15.0.7/cross-project-tests/debuginfo-tests/dexter/dex/debugger/visualstudio/
H A DVisualStudio.py19 from dex.dextIR import StackFrame, SourceLocation, ProgramState
324 program_state = ProgramState(frames=state_frames)
/llvm-project-15.0.7/clang/docs/analyzer/developer-docs/
H A DIPA.rst232 data that is stored in ProgramState, which defines a mapping from MemRegions to
258 ProgramState to attempt to devirtualize the call. In the case of no dynamic
303 RuntimeDefinition object) with a path-sensitive "mode" in the ProgramState.
394 there is no inherent issue with persisting them (say, in a ProgramState's GDM),
H A DDebugChecks.rst234 Dumps the current ProgramState to the stderr. Quickly lookup the program state
236 This is not very useful for writing tests (apart from testing how ProgramState
H A DRegionStore.rst5 functional data structure stored in each ``ProgramState``; the only class that
H A DInitializerLists.rst53 Approach (1): If only we enabled ``ProgramState::bindLoc(..., notifyChanges=true)``
/llvm-project-15.0.7/clang/utils/analyzer/
H A Dexploded-graph-rewriter.py262 class ProgramState: class
322 self.state = ProgramState(json_node['state_id'],