Home
last modified time | relevance | path

Searched refs:ProgramStateRef (Results 1 – 25 of 106) sorted by relevance

12345

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h83 virtual ProgramStateRef assume(ProgramStateRef state,
87 using ProgramStatePair = std::pair<ProgramStateRef, ProgramStateRef>;
92 ProgramStateRef StTrue = assume(State, Cond, true); in assumeDual()
104 return ProgramStatePair((ProgramStateRef)nullptr, State); in assumeDual()
107 ProgramStateRef StFalse = assume(State, Cond, false); in assumeDual()
118 virtual ProgramStateRef assumeInclusiveRange(ProgramStateRef State,
128 ProgramStateRef StInRange = in assumeInclusiveRangeDual()
136 ProgramStateRef StOutOfRange = in assumeInclusiveRangeDual()
160 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
163 virtual void print(ProgramStateRef state,
[all …]
H A DProgramState.h193 LLVM_NODISCARD std::pair<ProgramStateRef, ProgramStateRef>
216 LLVM_NODISCARD std::pair<ProgramStateRef, ProgramStateRef>
477 ProgramStateRef
568 ProgramStateRef removeDeadBindings(ProgramStateRef St,
580 ProgramStateRef removeGDM(ProgramStateRef state, void *Key);
626 ProgramStateRef set(ProgramStateRef st, in set()
636 ProgramStateRef add(ProgramStateRef st, in add()
644 ProgramStateRef remove(ProgramStateRef st, in remove()
653 ProgramStateRef remove(ProgramStateRef st) { in remove()
699 inline std::pair<ProgramStateRef , ProgramStateRef >
[all …]
H A DSimpleConstraintManager.h40 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
43 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
55 virtual ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
62 virtual ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State,
70 virtual ProgramStateRef assumeSymUnsupported(ProgramStateRef State,
83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
85 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
H A DRangedConstraintManager.h149 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
152 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym,
157 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym,
162 virtual ProgramStateRef assumeSymRel(ProgramStateRef State, SymbolRef Sym,
173 virtual ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
177 virtual ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
181 virtual ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
185 virtual ProgramStateRef assumeSymGT(ProgramStateRef State, SymbolRef Sym,
189 virtual ProgramStateRef assumeSymLE(ProgramStateRef State, SymbolRef Sym,
193 virtual ProgramStateRef assumeSymGE(ProgramStateRef State, SymbolRef Sym,
[all …]
H A DExprEngine.h359 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,
364 ProgramStateRef
558 ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex,
564 ProgramStateRef handleLVectorSplat(ProgramStateRef state,
607 ProgramStateRef processPointerEscapedOnBind(ProgramStateRef State,
623 ProgramStateRef escapeValue(ProgramStateRef State, SVal V,
671 ProgramStateRef finishArgumentConstruction(ProgramStateRef State,
786 static ProgramStateRef
793 static ProgramStateRef
801 static ProgramStateRef elideDestructor(ProgramStateRef State,
[all …]
H A DSubEngine.h52 virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0;
131 virtual ProgramStateRef processAssume(ProgramStateRef state,
136 virtual ProgramStateRef
137 processRegionChanges(ProgramStateRef state,
145 inline ProgramStateRef
146 processRegionChange(ProgramStateRef state, in processRegionChange()
152 virtual ProgramStateRef
153 …processPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val, const LocationContext *LCtx…
155 virtual ProgramStateRef
156 notifyCheckersOfPointerEscape(ProgramStateRef State,
[all …]
H A DDynamicTypeMap.h43 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State,
47 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
51 inline ProgramStateRef setDynamicTypeInfo(ProgramStateRef State,
58 void printDynamicTypeInfo(ProgramStateRef State, raw_ostream &Out,
H A DCallEvent.h115 CallEventRef<T> cloneWithState(ProgramStateRef State) const { in cloneWithState()
176 ProgramStateRef State;
240 const ProgramStateRef &getState() const { in getState()
380 ProgramStateRef invalidateRegions(unsigned BlockCount,
495 AnyFunctionCall(const Expr *E, ProgramStateRef St, in AnyFunctionCall()
498 AnyFunctionCall(const Decl *D, ProgramStateRef St, in AnyFunctionCall()
568 BlockCall(const CallExpr *CE, ProgramStateRef St, in BlockCall()
672 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, in CXXInstanceCall()
1122 T *create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, in create()
1148 getCall(const Stmt *S, ProgramStateRef State,
[all …]
H A DSMTConstraintManager.h38 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym, in assumeSym()
57 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, in assumeSymInclusiveRange()
66 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, in assumeSymUnsupported()
76 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in checkNull()
104 const llvm::APSInt *getSymVal(ProgramStateRef State, in getSymVal()
195 ProgramStateRef removeDeadBindings(ProgramStateRef State, in removeDeadBindings()
208 void print(ProgramStateRef St, raw_ostream &OS, const char *nl, in print()
272 virtual ProgramStateRef assumeExpr(ProgramStateRef State, SymbolRef Sym, in assumeExpr()
284 virtual void addStateConstraints(ProgramStateRef State) const { in addStateConstraints()
303 ConditionTruthVal checkModel(ProgramStateRef State, SymbolRef Sym, in checkModel()
[all …]
H A DCoreEngine.h100 ProgramStateRef State,
139 ProgramStateRef InitState);
260 ProgramStateRef State,
282 ProgramStateRef State, in generateNode()
293 ProgramStateRef State, in generateSink()
345 ExplodedNode *generateNode(ProgramStateRef State,
401 ProgramStateRef St,
411 ProgramStateRef St,
505 ProgramStateRef State,
510 ProgramStateRef getState() const { return Pred->State; } in getState()
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp241 ProgramStateRef removeDeadBindings(ProgramStateRef State,
251 ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
255 ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
259 ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
393 ProgramStateRef
525 ProgramStateRef
545 ProgramStateRef
588 ProgramStateRef
624 ProgramStateRef
660 ProgramStateRef
[all …]
H A DProgramState.cpp95 ProgramStateRef
120 ProgramStateRef ProgramState::bindLoc(Loc LV, in bindLoc()
134 ProgramStateRef
144 ProgramStateRef
156 ProgramStateRef
173 ProgramStateRef
186 ProgramStateRef
238 ProgramStateRef
520 ProgramStateRef ProgramStateManager::addGDM(ProgramStateRef St, void *Key, void *Data){ in addGDM()
532 ProgramStateRef ProgramStateManager::removeGDM(ProgramStateRef state, void *Key) { in removeGDM()
[all …]
H A DSimpleConstraintManager.cpp26 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume()
45 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume()
53 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State, in assumeAux()
95 ProgramStateRef SimpleConstraintManager::assumeInclusiveRange( in assumeInclusiveRange()
96 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, in assumeInclusiveRange()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorChecker.cpp285 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
330 const ProgramStateRef processComparison(ProgramStateRef State,
333 const ProgramStateRef saveComparison(ProgramStateRef State,
340 ProgramStateRef createContainerBegin(ProgramStateRef State,
351 ProgramStateRef setIteratorPosition(ProgramStateRef State,
355 ProgramStateRef adjustIteratorPosition(ProgramStateRef State,
358 ProgramStateRef relateIteratorPositions(ProgramStateRef State,
364 ProgramStateRef
1959 const ProgramStateRef saveComparison(ProgramStateRef State, in saveComparison()
1991 ProgramStateRef createContainerBegin(ProgramStateRef State, in createContainerBegin()
[all …]
H A DCStringChecker.cpp66 ProgramStateRef
130 std::pair<ProgramStateRef , ProgramStateRef >
134 static ProgramStateRef setCStringLength(ProgramStateRef state,
235 std::pair<ProgramStateRef , ProgramStateRef > in REGISTER_MAP_WITH_PROGRAMSTATE()
240 return std::pair<ProgramStateRef , ProgramStateRef >(state, state); in REGISTER_MAP_WITH_PROGRAMSTATE()
430 ProgramStateRef stateTrue, stateFalse; in CheckOverlap()
676 ProgramStateRef CStringChecker::setCStringLength(ProgramStateRef state, in setCStringLength()
1210 ProgramStateRef state = C.getState(); in evalMemcpy()
1222 ProgramStateRef state = C.getState(); in evalMempcpy()
1234 ProgramStateRef state = C.getState(); in evalMemmove()
[all …]
H A DStreamChecker.cpp96 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
98 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,
211 ProgramStateRef state = C.getState(); in OpenFileAux()
244 ProgramStateRef state = C.getState(); in Fread()
250 ProgramStateRef state = C.getState(); in Fwrite()
256 ProgramStateRef state = C.getState(); in Fseek()
282 ProgramStateRef state = C.getState(); in Ftell()
288 ProgramStateRef state = C.getState(); in Rewind()
294 ProgramStateRef state = C.getState(); in Fgetpos()
300 ProgramStateRef state = C.getState(); in Fsetpos()
[all …]
H A DCheckerDocumentation.cpp240 ProgramStateRef evalAssume(ProgramStateRef State, in evalAssume()
249 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {} in checkLiveSymbols()
273 ProgramStateRef
274 checkRegionChanges(ProgramStateRef State, in checkRegionChanges()
296 ProgramStateRef checkPointerEscape(ProgramStateRef State, in checkPointerEscape()
307 ProgramStateRef checkConstPointerEscape(ProgramStateRef State, in checkConstPointerEscape()
H A DObjCContainersChecker.cpp56 ProgramStateRef checkPointerEscape(ProgramStateRef State,
61 void printState(raw_ostream &OS, ProgramStateRef State,
71 ProgramStateRef State = C.getState(); in REGISTER_MAP_WITH_PROGRAMSTATE()
118 ProgramStateRef State = C.getState(); in checkPreStmt()
141 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); in checkPreStmt()
142 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); in checkPreStmt()
158 ProgramStateRef
159 ObjCContainersChecker::checkPointerEscape(ProgramStateRef State, in checkPointerEscape()
174 void ObjCContainersChecker::printState(raw_ostream &OS, ProgramStateRef State, in printState()
H A DMallocChecker.cpp223 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
228 ProgramStateRef checkPointerEscape(ProgramStateRef State,
232 ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
330 static ProgramStateRef
384 ProgramStateRef checkPointerEscapeAux(ProgramStateRef State,
576 ProgramStateRef state;
1215 ProgramStateRef
2579 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume()
2794 ProgramStateRef MallocChecker::checkPointerEscape(ProgramStateRef State, in checkPointerEscape()
2809 ProgramStateRef MallocChecker::checkPointerEscapeAux(ProgramStateRef State, in checkPointerEscapeAux()
[all …]
H A DSimpleStreamChecker.cpp80 ProgramStateRef checkPointerEscape(ProgramStateRef State,
94 ProgramStateRef state;
96 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {} in StopTrackingCallback()
97 ProgramStateRef getState() const { return state; } in getState()
132 ProgramStateRef State = C.getState(); in checkPostCall()
151 ProgramStateRef State = C.getState(); in checkPreCall()
164 bool IsSymDead, ProgramStateRef State) { in isLeaked()
177 ProgramStateRef State = C.getState(); in checkDeadSymbols()
247 ProgramStateRef
248 SimpleStreamChecker::checkPointerEscape(ProgramStateRef State, in checkPointerEscape()
H A DTrustNonnullChecker.cpp66 ProgramStateRef evalAssume(ProgramStateRef State, in evalAssume()
87 ProgramStateRef State = C.getState(); in checkPostCall()
102 ProgramStateRef State = C.getState(); in checkPostObjCMessage()
135 ProgramStateRef State = C.getState(); in checkDeadSymbols()
148 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, in dropDeadFromGDM()
149 ProgramStateRef State) const { in dropDeadFromGDM()
214 ProgramStateRef addImplication(SymbolRef Antecedent, in addImplication()
215 ProgramStateRef InputState, in addImplication()
227 ProgramStateRef State = InputState; in addImplication()
H A DGenericTaintChecker.cpp297 ProgramStateRef State = nullptr; in addSourcesPre()
331 ProgramStateRef State = C.getState(); in propagateFromPre()
399 ProgramStateRef State = nullptr; in addSourcesPost()
433 ProgramStateRef State = C.getState(); in getPointedToSVal()
456 ProgramStateRef
459 ProgramStateRef State = C.getState(); in process()
529 ProgramStateRef State = C.getState(); in preFscanf()
546 ProgramStateRef State = C.getState(); in postSocket()
562 ProgramStateRef State = C.getState(); in postScanf()
584 ProgramStateRef State = C.getState(); in isStdin()
[all …]
H A DUnixAPIChecker.cpp72 ProgramStateRef falseState,
86 ProgramStateRef State,
97 ProgramStateRef State, in ReportOpenBug()
147 ProgramStateRef state = C.getState(); in CheckOpenVariant()
214 ProgramStateRef trueState, falseState; in CheckOpenVariant()
250 ProgramStateRef state = C.getState(); in CheckPthreadOnce()
287 static bool IsZeroByteAllocation(ProgramStateRef state, in IsZeroByteAllocation()
289 ProgramStateRef *trueState, in IsZeroByteAllocation()
335 ProgramStateRef state = C.getState(); in BasicAllocationCheck()
336 ProgramStateRef trueState = nullptr, falseState = nullptr; in BasicAllocationCheck()
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h292 void printState(raw_ostream &Out, ProgramStateRef State,
316 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
319 ProgramStateRef
320 checkRegionChanges(ProgramStateRef state,
335 ProgramStateRef updateSymbol(ProgramStateRef state, SymbolRef sym,
345 ProgramStateRef handleSymbolDeath(ProgramStateRef state,
349 ProgramStateRef
356 ExplodedNode *processLeaks(ProgramStateRef state,
372 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym);
374 ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,
[all …]
H A DRetainCountChecker.cpp32 ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, in setRefBinding()
38 ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding()
193 ProgramStateRef state;
217 ProgramStateRef state = C.getState(); in checkPostStmt()
265 ProgramStateRef state = C.getState(); in checkPostStmt()
718 for (ProgramStateRef St : Out) { in checkSummary()
727 ProgramStateRef RetainCountChecker::updateSymbol(ProgramStateRef state, in updateSymbol()
1183 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, in evalAssume()
1216 ProgramStateRef
1243 ProgramStateRef
[all …]

12345