/freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.h | 36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond, 39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption); 41 ProgramStateRef assumeSymRel(ProgramStateRef state, 54 virtual ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym, 58 virtual ProgramStateRef assumeSymEQ(ProgramStateRef stat [all...] |
H A D | RangeConstraintManager.cpp | 286 RangeSet GetRange(ProgramStateRef state, SymbolRef sym); 291 ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym, 295 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym, 299 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym, 303 ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym, 307 ProgramStateRef assumeSymG [all...] |
H A D | ConstraintManager.cpp | 21 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, 28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
|
H A D | SimpleConstraintManager.cpp | 68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, 87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, 97 ProgramStateRef 98 SimpleConstraintManager::assumeAuxForSymbol(ProgramStateRef State, 114 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef state, 210 ProgramStateRef SimpleConstraintManager::assumeSymRel(ProgramStateRef stat [all...] |
/freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state, 71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair; 75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { 76 ProgramStateRef StTrue = assume(State, Cond, true); 88 return ProgramStatePair((ProgramStateRef)NULL, State); 91 ProgramStateRef StFalse = assume(State, Cond, false); 96 return ProgramStatePair(State, (ProgramStateRef)NULL); 107 virtual const llvm::APSInt* getSymVal(ProgramStateRef stat [all...] |
H A D | SubEngine.h | 48 virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0; 105 virtual ProgramStateRef processAssume(ProgramStateRef state, 110 virtual bool wantsRegionChangeUpdate(ProgramStateRef state) = 0; 114 virtual ProgramStateRef 115 processRegionChanges(ProgramStateRef state, 122 inline ProgramStateRef 123 processRegionChange(ProgramStateRef state, 128 virtual ProgramStateRef 129 processPointerEscapedOnBind(ProgramStateRef Stat [all...] |
H A D | ProgramState.h | 92 ProgramStateRef makeWithStore(const StoreRef &store) const; 178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const; 185 std::pair<ProgramStateRef, ProgramStateRef> 188 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx, 206 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx, 209 ProgramStateRef bindLoc(Loc location, 213 ProgramStateRef bindLoc(SVal location, SVal V) const; 215 ProgramStateRef bindDefault(SVal loc, SVal V) const; 217 ProgramStateRef killBindin [all...] |
H A D | ExprEngine.h | 118 ProgramStateRef InitState, 158 ProgramStateRef getInitialState(const LocationContext *InitLoc); 268 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,bool assumption); 272 bool wantsRegionChangeUpdate(ProgramStateRef state); 276 ProgramStateRef 277 processRegionChanges(ProgramStateRef state, 284 void printState(raw_ostream &Out, ProgramStateRef State, 453 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, 458 SVal evalBinOp(ProgramStateRef stat [all...] |
H A D | ProgramState_Fwd.h | 38 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef; typedef in namespace:clang::ento
|
H A D | CallEvent.h | 60 CallEventRef<T> cloneWithState(ProgramStateRef State) const { 120 ProgramStateRef State; 145 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) 148 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) 184 const ProgramStateRef &getState() const { 310 ProgramStateRef invalidateRegions(unsigned BlockCount, 311 ProgramStateRef Orig = 0) const; 323 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const; 326 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { 390 AnyFunctionCall(const Expr *E, ProgramStateRef S [all...] |
H A D | CheckerContext.h | 118 const ProgramStateRef &getState() const { return Pred->getState(); } 203 ExplodedNode *addTransition(ProgramStateRef State = 0, 215 ExplodedNode *addTransition(ProgramStateRef State, 223 ExplodedNode *generateSink(ProgramStateRef State = 0, 281 ExplodedNode *addTransitionImpl(ProgramStateRef State,
|
/freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CheckerDocumentation.cpp | 207 ProgramStateRef evalAssume(ProgramStateRef State, 216 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {} 224 bool wantsRegionChangeUpdate(ProgramStateRef St) const { return true; } 249 ProgramStateRef 250 checkRegionChanges(ProgramStateRef State, 271 ProgramStateRef checkPointerEscape(ProgramStateRef State, 282 ProgramStateRef checkConstPointerEscape(ProgramStateRef Stat [all...] |
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);
|
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 | BoolAssignmentChecker.cpp | 27 void emitReport(ProgramStateRef state, CheckerContext &C) const; 33 void BoolAssignmentChecker::emitReport(ProgramStateRef state, 79 ProgramStateRef state = C.getState(); 98 ProgramStateRef stateLT, stateGE; 134 ProgramStateRef stateGT, stateLE;
|
H A D | SimpleStreamChecker.cpp | 83 ProgramStateRef checkPointerEscape(ProgramStateRef State, 97 ProgramStateRef state; 99 StopTrackingCallback(ProgramStateRef st) : state(st) {} 100 ProgramStateRef getState() const { return state; } 137 ProgramStateRef State = C.getState(); 161 ProgramStateRef State = C.getState(); 174 bool IsSymDead, ProgramStateRef State) { 187 ProgramStateRef State = C.getState(); 256 ProgramStateRef [all...] |
H A D | CStringChecker.cpp | 62 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const; 64 bool wantsRegionChangeUpdate(ProgramStateRef state) const; 66 ProgramStateRef 67 checkRegionChanges(ProgramStateRef state, 81 ProgramStateRef state, 120 std::pair<ProgramStateRef , ProgramStateRef > 122 ProgramStateRef state, SVal V, QualType Ty); 124 static ProgramStateRef setCStringLength(ProgramStateRef stat [all...] |
H A D | ArrayBoundCheckerV2.cpp | 35 void reportOOB(CheckerContext &C, ProgramStateRef errorState, 59 static RegionRawOffsetV2 computeOffset(ProgramStateRef state, 97 ProgramStateRef state = checkerContext.getState(); 98 ProgramStateRef originalState = state; 122 ProgramStateRef state_precedesLowerBound, state_withinLowerBound; 154 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound; 182 ProgramStateRef errorState, 242 static inline SVal scaleValue(ProgramStateRef state, 252 static SVal addValue(ProgramStateRef state, SVal x, SVal y, 266 RegionRawOffsetV2 RegionRawOffsetV2::computeOffset(ProgramStateRef stat [all...] |
H A D | StreamChecker.cpp | 95 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state, 97 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state, 210 ProgramStateRef state = C.getState(); 220 ProgramStateRef stateNotNull, stateNull; 236 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C); 242 ProgramStateRef state = C.getState(); 249 ProgramStateRef state = C.getState(); 256 ProgramStateRef stat [all...] |
H A D | DivZeroChecker.cpp | 28 ProgramStateRef StateZero, 36 ProgramStateRef StateZero, 70 ProgramStateRef stateNotZero, stateZero;
|
H A D | UndefBranchChecker.cpp | 30 ProgramStateRef St; 33 FindUndefExpr(ProgramStateRef S, const LocationContext *L) 91 ProgramStateRef St = N->getState();
|
H A D | UnixAPIChecker.cpp | 52 ProgramStateRef falseState, 94 ProgramStateRef state = C.getState(); 121 ProgramStateRef trueState, falseState; 160 ProgramStateRef state = C.getState(); 198 static bool IsZeroByteAllocation(ProgramStateRef state, 200 ProgramStateRef *trueState, 201 ProgramStateRef *falseState) { 212 ProgramStateRef falseState, 246 ProgramStateRef state = C.getState(); 247 ProgramStateRef trueStat [all...] |
H A D | GenericTaintChecker.cpp | 74 typedef ProgramStateRef (GenericTaintChecker::*FnCheck)(const CallExpr *, 76 ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const; 77 ProgramStateRef postSocket(const CallExpr *CE, CheckerContext &C) const; 78 ProgramStateRef postRetTaint(const CallExpr *CE, CheckerContext &C) const; 81 ProgramStateRef preFscanf(const CallExpr *CE, CheckerContext &C) const; 160 ProgramStateRef State, 169 ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const; 295 ProgramStateRef State = 0; 330 ProgramStateRef State = C.getState(); 396 ProgramStateRef Stat [all...] |
H A D | MallocChecker.cpp | 192 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond, 197 ProgramStateRef checkPointerEscape(ProgramStateRef State, 201 ProgramStateRef checkConstPointerEscape(ProgramStateRef State, 206 void printState(raw_ostream &Out, ProgramStateRef State, 237 static ProgramStateRef MallocMemReturnsAttr(CheckerContext &C, 240 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE, 242 ProgramStateRef Stat [all...] |
H A D | ObjCAtSyncChecker.cpp | 41 ProgramStateRef state = C.getState(); 62 ProgramStateRef notNullState, nullState;
|