/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.h | 36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond, 39 ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption); 41 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption); 43 ProgramStateRef assumeSymRel(ProgramStateRef state, 56 virtual ProgramStateRef assumeSymNE(ProgramStateRef stat [all...] |
H A D | SimpleConstraintManager.cpp | 58 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, 67 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond, 75 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef state, 114 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, 137 ProgramStateRef 138 SimpleConstraintManager::assumeAuxForSymbol(ProgramStateRef Stat [all...] |
H A D | RangeConstraintManager.cpp | 297 RangeSet GetRange(ProgramStateRef state, SymbolRef sym); 302 ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym, 306 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym, 310 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym, 314 ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym, 318 ProgramStateRef assumeSymG [all...] |
H A D | ConstraintManager.cpp | 22 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, 31 ConditionTruthVal ConstraintManager::isNull(ProgramStateRef State,
|
H A D | ProgramState.cpp | 89 ProgramStateRef 90 ProgramStateManager::removeDeadBindings(ProgramStateRef state, 110 ProgramStateRef Result = getPersistentState(NewState); 114 ProgramStateRef ProgramState::bindCompoundLiteral(const CompoundLiteralExpr *CL, 122 ProgramStateRef ProgramState::bindLoc(Loc LV, SVal V, bool notifyChanges) const { 124 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), 133 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const { 137 ProgramStateRef new_state = makeWithStore(newStore); 143 ProgramStateRef 157 ProgramStateRef [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 66 virtual ProgramStateRef assume(ProgramStateRef state, 70 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair; 72 ProgramStatePair assumeDual(ProgramStateRef state, DefinedSVal Cond) { 84 virtual const llvm::APSInt* getSymVal(ProgramStateRef state, 89 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state, 92 virtual void print(ProgramStateRef state, 97 virtual void EndPath(ProgramStateRef stat [all...] |
H A D | SubEngine.h | 48 virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0; 94 virtual ProgramStateRef processAssume(ProgramStateRef state, 99 virtual bool wantsRegionChangeUpdate(ProgramStateRef state) = 0; 103 virtual ProgramStateRef 104 processRegionChanges(ProgramStateRef state, 111 inline ProgramStateRef 112 processRegionChange(ProgramStateRef state, 118 virtual void printState(raw_ostream &Out, ProgramStateRef State,
|
H A D | ProgramState.h | 92 ProgramStateRef makeWithStore(const StoreRef &store) const; 173 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const; 178 std::pair<ProgramStateRef , ProgramStateRef > 181 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx, 197 ProgramStateRef bindCompoundLiteral(const CompoundLiteralExpr *CL, 203 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx, 208 ProgramStateRef bindExprAndLocation(const Stmt *S, 212 ProgramStateRef bindLoc(Loc location, 216 ProgramStateRef bindLo [all...] |
H A D | ExprEngine.h | 71 ProgramStateRef CleanedState; 114 ProgramStateRef InitState, 153 ProgramStateRef getInitialState(const LocationContext *InitLoc); 234 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,bool assumption); 238 bool wantsRegionChangeUpdate(ProgramStateRef state); 242 ProgramStateRef 243 processRegionChanges(ProgramStateRef state, 250 void printState(raw_ostream &Out, ProgramStateRef State, 422 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 | 59 CallEventRef<T> cloneWithState(ProgramStateRef State) const { 119 ProgramStateRef State; 145 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) 148 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) 184 ProgramStateRef getState() const { 272 ProgramStateRef invalidateRegions(unsigned BlockCount, 273 ProgramStateRef Orig = 0) const; 285 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const; 288 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { 350 AnyFunctionCall(const Expr *E, ProgramStateRef S [all...] |
H A D | CheckerContext.h | 75 ProgramStateRef getState() const { return Pred->getState(); } 162 ExplodedNode *addTransition(ProgramStateRef State = 0, 174 ExplodedNode *addTransition(ProgramStateRef State, 182 ExplodedNode *generateSink(ProgramStateRef State = 0, 224 ExplodedNode *addTransitionImpl(ProgramStateRef State,
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CheckerDocumentation.cpp | 205 ProgramStateRef evalAssume(ProgramStateRef State, 214 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {} 217 bool wantsRegionChangeUpdate(ProgramStateRef St) const { return true; } 233 ProgramStateRef 234 checkRegionChanges(ProgramStateRef State,
|
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 | CStringChecker.cpp | 60 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const; 62 bool wantsRegionChangeUpdate(ProgramStateRef state) const; 64 ProgramStateRef 65 checkRegionChanges(ProgramStateRef state, 79 ProgramStateRef state, 116 std::pair<ProgramStateRef , ProgramStateRef > 118 ProgramStateRef state, SVal V, QualType Ty); 120 static ProgramStateRef setCStringLength(ProgramStateRef stat [all...] |
H A D | StreamChecker.cpp | 99 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state, 101 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state, 221 ProgramStateRef state = C.getState(); 232 ProgramStateRef stateNotNull, stateNull; 248 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C); 254 ProgramStateRef state = C.getState(); 261 ProgramStateRef state = C.getState(); 268 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; 123 ProgramStateRef state_precedesLowerBound, state_withinLowerBound; 155 ProgramStateRef state_exceedsUpperBound, state_withinUpperBound; 183 ProgramStateRef errorState, 243 static inline SVal scaleValue(ProgramStateRef state, 253 static SVal addValue(ProgramStateRef state, SVal x, SVal y, 267 RegionRawOffsetV2 RegionRawOffsetV2::computeOffset(ProgramStateRef stat [all...] |
H A D | MallocChecker.cpp | 135 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond, 141 ProgramStateRef 142 checkRegionChanges(ProgramStateRef state, 147 bool wantsRegionChangeUpdate(ProgramStateRef state) const { 151 void printState(raw_ostream &Out, ProgramStateRef State, 163 static ProgramStateRef MallocMemReturnsAttr(CheckerContext &C, 166 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE, 168 ProgramStateRef state) { 174 static ProgramStateRef MallocMemAu [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 | 51 ProgramStateRef falseState, 93 ProgramStateRef state = C.getState(); 121 ProgramStateRef trueState, falseState; 160 ProgramStateRef state = C.getState(); 197 static bool IsZeroByteAllocation(ProgramStateRef state, 199 ProgramStateRef *trueState, 200 ProgramStateRef *falseState) { 211 ProgramStateRef falseState, 245 ProgramStateRef state = C.getState(); 246 ProgramStateRef trueStat [all...] |
H A D | GenericTaintChecker.cpp | 73 typedef ProgramStateRef (GenericTaintChecker::*FnCheck)(const CallExpr *, 75 ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const; 76 ProgramStateRef postSocket(const CallExpr *CE, CheckerContext &C) const; 77 ProgramStateRef postRetTaint(const CallExpr *CE, CheckerContext &C) const; 80 ProgramStateRef preFscanf(const CallExpr *CE, CheckerContext &C) const; 159 ProgramStateRef State, 168 ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const; 300 ProgramStateRef State = 0; 335 ProgramStateRef State = C.getState(); 401 ProgramStateRef Stat [all...] |
H A D | ObjCAtSyncChecker.cpp | 41 ProgramStateRef state = C.getState(); 62 ProgramStateRef notNullState, nullState;
|