/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | DynamicType.h | 33 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 D | LoopUnrolling.h | 36 bool isUnrolledState(ProgramStateRef State); 39 ProgramStateRef updateLoopStack(const Stmt *LoopStmt, ASTContext &ASTCtx, 44 ProgramStateRef processLoopEnd(const Stmt *LoopStmt, ProgramStateRef State);
|
H A D | SimpleConstraintManager.h | 39 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 D | ConstraintManager.h | 82 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 D | LoopWidening.h | 28 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,
|
H A D | RangedConstraintManager.h | 149 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 D | ExprEngine.h | 176 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 D | SubEngine.h | 52 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 D | ProgramState.h | 92 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 D | Taint.h | 30 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 D | AllocationState.h | 20 ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym, 31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
|
H A D | Move.h | 24 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region);
|
H A D | Taint.cpp | 29 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 D | CheckerDocumentation.cpp | 239 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 D | ObjCContainersChecker.cpp | 55 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 D | IteratorRangeChecker.cpp | 48 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 D | GTestChecker.cpp | 114 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 D | Iterator.h | 156 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 D | ReturnPointerRangeChecker.cpp | 36 ProgramStateRef state = C.getState(); 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); 62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
|
H A D | ArrayBoundChecker.cpp | 54 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 D | DynamicType.cpp | 40 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 D | RangeConstraintManager.cpp | 250 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 D | ConstraintManager.cpp | 25 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, 32 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
|
H A D | SimpleConstraintManager.cpp | 25 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 D | RetainCountChecker.h | 291 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...] |