/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BoolAssignmentChecker.cpp | 26 void emitReport(ProgramStateRef state, CheckerContext &C) const; 32 void BoolAssignmentChecker::emitReport(ProgramStateRef state, 80 ProgramStateRef state = C.getState(); 99 ProgramStateRef stateLT, stateGE; 135 ProgramStateRef stateGT, stateLE;
|
H A D | SimpleStreamChecker.cpp | 79 ProgramStateRef checkPointerEscape(ProgramStateRef State, 93 ProgramStateRef state; 95 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {} 96 ProgramStateRef getState() const { return state; } 131 ProgramStateRef State = C.getState(); 150 ProgramStateRef State = C.getState(); 163 bool IsSymDead, ProgramStateRef State) { 176 ProgramStateRef State = C.getState(); 247 ProgramStateRef [all...] |
H A D | IteratorModeling.cpp | 93 void processComparison(CheckerContext &C, ProgramStateRef State, 124 void printState(raw_ostream &Out, ProgramStateRef State, const char *NL, 136 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const; 152 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg); 153 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg); 154 bool backModifiable(ProgramStateRef State, const MemRegion *Reg); 155 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont); 156 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont); 157 ProgramStateRef createContainerBegin(ProgramStateRef Stat [all...] |
H A D | TrustNonnullChecker.cpp | 65 ProgramStateRef evalAssume(ProgramStateRef State, 86 ProgramStateRef State = C.getState(); 101 ProgramStateRef State = C.getState(); 134 ProgramStateRef State = C.getState(); 147 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, 148 ProgramStateRef State) const { 213 ProgramStateRef addImplication(SymbolRef Antecedent, 214 ProgramStateRef InputState, 226 ProgramStateRef Stat [all...] |
H A D | CStringChecker.cpp | 64 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const; 67 ProgramStateRef 68 checkRegionChanges(ProgramStateRef state, 114 ProgramStateRef state, 159 std::pair<ProgramStateRef , ProgramStateRef > 161 ProgramStateRef state, SVal V, QualType Ty); 163 static ProgramStateRef setCStringLength(ProgramStateRef state, 167 ProgramStateRef [all...] |
H A D | AnalysisOrderChecker.cpp | 57 bool isCallbackEnabled(ProgramStateRef State, StringRef CallbackName) const { 154 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SymReaper) const { 159 ProgramStateRef 160 checkRegionChanges(ProgramStateRef State, 170 ProgramStateRef checkPointerEscape(ProgramStateRef State,
|
H A D | UndefBranchChecker.cpp | 30 ProgramStateRef St; 33 FindUndefExpr(ProgramStateRef S, const LocationContext *L) 89 ProgramStateRef St = N->getState();
|
H A D | StreamChecker.cpp | 101 ProgramStateRef &State) const; 103 ProgramStateRef &State) const; 105 ProgramStateRef &State) const; 138 ProgramStateRef state = C.getState(); 153 ProgramStateRef stateNotNull, stateNull; 167 ProgramStateRef State = C.getState(); 192 ProgramStateRef StateRetNotNull = 196 ProgramStateRef StateRetNull = State->BindExpr(CE, C.getLocationContext(), 209 ProgramStateRef State = C.getState(); 219 ProgramStateRef Stat [all...] |
H A D | MallocChecker.cpp | 208 static ProgramStateRef MallocUpdateRefState(CheckerContext &C, const Expr *E, 209 ProgramStateRef State, 370 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond, 375 ProgramStateRef checkPointerEscape(ProgramStateRef State, 379 ProgramStateRef checkConstPointerEscape(ProgramStateRef State, 384 void printState(raw_ostream &Out, ProgramStateRef State, 414 static ProgramStateRef ProcessZeroAllocChec [all...] |
H A D | ObjCAtSyncChecker.cpp | 40 ProgramStateRef state = C.getState(); 61 ProgramStateRef notNullState, nullState;
|
H A D | Iterator.cpp | 149 const ContainerData *getContainerData(ProgramStateRef State, 154 const IteratorPosition *getIteratorPosition(ProgramStateRef State, 167 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, 180 ProgramStateRef advancePosition(ProgramStateRef State, const SVal &Iter, 207 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, 212 bool compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2,
|
H A D | UnixAPIChecker.cpp | 57 ProgramStateRef State, 79 ProgramStateRef falseState, 129 ProgramStateRef State, 181 ProgramStateRef state = C.getState(); 248 ProgramStateRef trueState, falseState; 284 ProgramStateRef state = C.getState(); 323 static bool IsZeroByteAllocation(ProgramStateRef state, 325 ProgramStateRef *trueState, 326 ProgramStateRef *falseState) { 338 ProgramStateRef falseStat [all...] |
H A D | CheckPlacementNew.cpp | 17 SVal getExtentSizeOfNewTarget(const CXXNewExpr *NE, ProgramStateRef State, 21 SVal getExtentSizeOfPlace(const Expr *NE, ProgramStateRef State, 29 ProgramStateRef State, 53 ProgramStateRef State, 89 ProgramStateRef State = C.getState();
|
H A D | VLASizeChecker.cpp | 36 void reportBug(VLASize_Kind Kind, const Expr *SizeE, ProgramStateRef State, 46 VLASize_Kind Kind, const Expr *SizeE, ProgramStateRef State, 97 ProgramStateRef state = C.getState(); 120 ProgramStateRef stateNotZero, stateZero; 145 ProgramStateRef StatePos, StateNeg;
|
H A D | MoveChecker.cpp | 56 ProgramStateRef 57 checkRegionChanges(ProgramStateRef State, 62 void printState(raw_ostream &Out, ProgramStateRef State, 211 void modelUse(ProgramStateRef State, const MemRegion *Region, 235 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) { 244 static ProgramStateRef removeFromState(ProgramStateRef State, 255 static bool isAnyBaseRegionReported(ProgramStateRef State, 282 ProgramStateRef State = N->getState(); 283 ProgramStateRef StatePre [all...] |
H A D | VforkChecker.cpp | 50 static bool isChildProcess(const ProgramStateRef State); 78 bool VforkChecker::isChildProcess(const ProgramStateRef State) { 146 ProgramStateRef State = C.getState(); 174 ProgramStateRef ParentState, ChildState; 184 ProgramStateRef State = C.getState(); 193 ProgramStateRef State = C.getState(); 210 ProgramStateRef State = C.getState();
|
H A D | ObjCSelfInitChecker.cpp | 81 void printState(raw_ostream &Out, ProgramStateRef State, 106 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) { 117 static void addSelfFlag(ProgramStateRef state, SVal val, 178 ProgramStateRef state = C.getState(); 244 ProgramStateRef state = C.getState(); 272 ProgramStateRef state = C.getState(); 309 ProgramStateRef state = C.getState(); 329 ProgramStateRef State = C.getState(); 337 void ObjCSelfInitChecker::printState(raw_ostream &Out, ProgramStateRef State,
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | ProgramState.cpp | 94 ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore( 95 ProgramStateRef state, const StackFrameContext *LCtx, 117 ProgramStateRef ProgramState::bindLoc(Loc LV, 122 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), 131 ProgramStateRef 137 ProgramStateRef new_state = makeWithStore(newStore); 141 ProgramStateRef 146 ProgramStateRef new_state = makeWithStore(newStore); 153 ProgramStateRef 170 ProgramStateRef [all...] |
H A D | RangedConstraintManager.cpp | 23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State, 73 ProgramStateRef RangedConstraintManager::assumeSymInclusiveRange( 74 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, 101 ProgramStateRef 102 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State, 119 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State,
|
H A D | ExprEngineObjC.cpp | 24 ProgramStateRef state = Pred->getState(); 53 ProgramStateRef state = Pred->getState(); 59 ProgramStateRef nextState = state->BindExpr(S, LCtx, hasElementsV); 116 ProgramStateRef state = Pred->getState(); 192 ProgramStateRef State = Pred->getState(); 194 ProgramStateRef notNilState, nilState; 247 ProgramStateRef State = Pred->getState();
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConstraintManager.h | 41 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym, 61 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, 70 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, 80 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { 108 const llvm::APSInt *getSymVal(ProgramStateRef State, 199 ProgramStateRef removeDeadBindings(ProgramStateRef Stat [all...] |
H A D | ProgramState_Fwd.h | 37 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef; typedef in namespace:clang::ento
|
H A D | CallEvent.h | 82 CallEventRef<T> cloneWithState(ProgramStateRef State) const { 143 ProgramStateRef State; 167 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) 170 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) 207 const ProgramStateRef &getState() const { 347 ProgramStateRef invalidateRegions(unsigned BlockCount, 348 ProgramStateRef Orig = nullptr) const; 360 CallEventRef<T> cloneWithState(ProgramStateRef NewState) const; 363 CallEventRef<> cloneWithState(ProgramStateRef NewState) const { 463 AnyFunctionCall(const Expr *E, ProgramStateRef S [all...] |
H A D | CheckerContext.h | 71 const ProgramStateRef &getState() const { return Pred->getState(); } 164 ExplodedNode *addTransition(ProgramStateRef State = nullptr, 176 ExplodedNode *addTransition(ProgramStateRef State, 185 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred, 197 ExplodedNode *generateErrorNode(ProgramStateRef State = nullptr, 211 generateNonFatalErrorNode(ProgramStateRef State = nullptr, 226 generateNonFatalErrorNode(ProgramStateRef State, 340 ExplodedNode *addTransitionImpl(ProgramStateRef State,
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
H A D | RetainCountChecker.cpp | 28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) { 36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, 42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { 130 ProgramStateRef state; 132 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {} 133 ProgramStateRef getState() const { return state; } 154 ProgramStateRef state = C.getState(); 210 ProgramStateRef stat [all...] |