Searched refs:ProgramStateRef (Results 1 - 25 of 115) sorted by relevance

12345

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DDynamicType.h33 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR);
36 const DynamicTypeInfo *getRawDynamicTypeInfo(ProgramStateRef State,
40 const DynamicCastInfo *getDynamicCastInfo(ProgramStateRef State,
46 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
50 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
54 ProgramStateRef setDynamicTypeAndCastInfo(ProgramStateRef State,
61 ProgramStateRef removeDeadType
[all...]
H A DLoopUnrolling.h36 bool isUnrolledState(ProgramStateRef State);
39 ProgramStateRef updateLoopStack(const Stmt *LoopStmt, ASTContext &ASTCtx,
44 ProgramStateRef processLoopEnd(const Stmt *LoopStmt, ProgramStateRef State);
H A DSimpleConstraintManager.h39 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
42 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value,
54 virtual ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
61 virtual ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State,
69 virtual ProgramStateRef assumeSymUnsupported(ProgramStateRef Stat
[all...]
H A DConstraintManager.h82 virtual bool haveEqualConstraints(ProgramStateRef S1,
83 ProgramStateRef S2) const = 0;
85 virtual ProgramStateRef assume(ProgramStateRef state,
89 using ProgramStatePair = std::pair<ProgramStateRef, ProgramStateRef>;
93 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
94 ProgramStateRef StTrue = assume(State, Cond, true);
106 return ProgramStatePair((ProgramStateRef)nullptr, State);
109 ProgramStateRef StFals
[all...]
H A DLoopWidening.h28 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,
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 Stat
[all...]
H A DExprEngine.h176 ProgramStateRef InitState,
235 ProgramStateRef getInitialState(const LocationContext *InitLoc) override;
366 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,
371 ProgramStateRef
372 processRegionChanges(ProgramStateRef state,
380 void printJson(raw_ostream &Out, ProgramStateRef State,
567 ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex,
573 ProgramStateRef handleLVectorSpla
[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,
152 virtual ProgramStateRef processPointerEscapedOnBind(
153 ProgramStateRef State, ArrayRef<std::pair<SVal, SVal>> LocAndVals,
157 virtual ProgramStateRef
[all...]
H A DProgramState.h92 ProgramStateRef makeWithStore(const StoreRef &store) const;
182 LLVM_NODISCARD ProgramStateRef assume(DefinedOrUnknownSVal cond,
190 LLVM_NODISCARD std::pair<ProgramStateRef, ProgramStateRef>
193 LLVM_NODISCARD ProgramStateRef
203 LLVM_NODISCARD ProgramStateRef assumeInclusiveRange(DefinedOrUnknownSVal Val,
213 LLVM_NODISCARD std::pair<ProgramStateRef, ProgramStateRef>
237 LLVM_NODISCARD ProgramStateRef BindExpr(const Stmt *S,
241 LLVM_NODISCARD ProgramStateRef bindLo
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.h30 LLVM_NODISCARD ProgramStateRef addTaint(ProgramStateRef State, const Stmt *S,
35 LLVM_NODISCARD ProgramStateRef addTaint(ProgramStateRef State, SVal V,
39 LLVM_NODISCARD ProgramStateRef addTaint(ProgramStateRef State, SymbolRef Sym,
44 LLVM_NODISCARD ProgramStateRef addTaint(ProgramStateRef State,
48 LLVM_NODISCARD ProgramStateRef removeTaint(ProgramStateRef Stat
[all...]
H A DAllocationState.h20 ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym,
31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
H A DMove.h24 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region);
H A DTaint.cpp29 void taint::printTaint(ProgramStateRef State, raw_ostream &Out, const char *NL,
40 void dumpTaint(ProgramStateRef State) { printTaint(State, llvm::errs()); }
42 ProgramStateRef taint::addTaint(ProgramStateRef State, const Stmt *S,
48 ProgramStateRef taint::addTaint(ProgramStateRef State, SVal V,
76 ProgramStateRef taint::addTaint(ProgramStateRef State, const MemRegion *R,
83 ProgramStateRef taint::addTaint(ProgramStateRef Stat
[all...]
H A DCheckerDocumentation.cpp239 ProgramStateRef evalAssume(ProgramStateRef State,
248 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {}
272 ProgramStateRef
273 checkRegionChanges(ProgramStateRef State,
295 ProgramStateRef checkPointerEscape(ProgramStateRef State,
306 ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
H A DObjCContainersChecker.cpp55 ProgramStateRef checkPointerEscape(ProgramStateRef State,
60 void printState(raw_ostream &OS, ProgramStateRef State,
70 ProgramStateRef State = C.getState();
117 ProgramStateRef State = C.getState();
140 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
158 ProgramStateRef
159 ObjCContainersChecker::checkPointerEscape(ProgramStateRef State,
174 void ObjCContainersChecker::printState(raw_ostream &OS, ProgramStateRef Stat
[all...]
H A DIteratorRangeChecker.cpp48 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
49 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos);
50 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos);
51 bool isZero(ProgramStateRef State, const NonLoc &Val);
194 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
195 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
196 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
198 bool isZero(ProgramStateRef State, const NonLoc &Val) {
205 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {
221 bool isAheadOfRange(ProgramStateRef Stat
[all...]
H A DGTestChecker.cpp114 ProgramStateRef State) const;
116 static ProgramStateRef assumeValuesEqual(SVal Val1, SVal Val2,
117 ProgramStateRef State,
134 ProgramStateRef State = C.getState();
169 ProgramStateRef State = C.getState();
251 ProgramStateRef State) const {
270 ProgramStateRef GTestChecker::assumeValuesEqual(SVal Val1, SVal Val2,
271 ProgramStateRef State,
H A DIterator.h156 const ContainerData *getContainerData(ProgramStateRef State,
158 const IteratorPosition *getIteratorPosition(ProgramStateRef State,
160 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val,
162 ProgramStateRef advancePosition(ProgramStateRef State,
166 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,
168 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
H A DReturnPointerRangeChecker.cpp36 ProgramStateRef state = C.getState();
61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
H A DArrayBoundChecker.cpp54 ProgramStateRef state = C.getState();
61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicType.cpp40 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR) {
59 const DynamicTypeInfo *getRawDynamicTypeInfo(ProgramStateRef State,
64 const DynamicCastInfo *getDynamicCastInfo(ProgramStateRef State,
79 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
86 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
91 ProgramStateRef setDynamicTypeAndCastInfo(ProgramStateRef State,
122 ProgramStateRef removeDea
[all...]
H A DRangeConstraintManager.cpp250 bool haveEqualConstraints(ProgramStateRef S1,
251 ProgramStateRef S2) const override {
257 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
259 const llvm::APSInt *getSymVal(ProgramStateRef State,
262 ProgramStateRef removeDeadBindings(ProgramStateRef State,
265 void printJson(raw_ostream &Out, ProgramStateRef State, const char *NL = "\n",
272 ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
276 ProgramStateRef assumeSymE
[all...]
H A DConstraintManager.cpp25 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State,
32 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
H A DSimpleConstraintManager.cpp25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State,
44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State,
52 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State,
94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRange(
95 ProgramStateRef State, NonLoc Value, const llvm::APSInt &From,
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h291 void printState(raw_ostream &Out, ProgramStateRef State,
315 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
318 ProgramStateRef
319 checkRegionChanges(ProgramStateRef state,
328 SymbolRef Sym, ProgramStateRef state) const;
334 ProgramStateRef updateSymbol(ProgramStateRef state, SymbolRef sym,
341 void processNonLeakError(ProgramStateRef St, SourceRange ErrorRange,
347 ProgramStateRef handleSymbolDeat
[all...]

Completed in 128 milliseconds

12345