| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | GRState.h | 108 GRStateManager &getStateManager() const { return *stateMgr; } in getStateManager() function
635 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
643 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond), in assume()
652 return getStateManager().ConstraintMgr->assumeDual(this, in assume()
662 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
666 return getStateManager().StoreMgr->getLValueString(literal); in getLValue()
671 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
675 return getStateManager().StoreMgr->getLValueIvar(D, Base); in getLValue()
679 return getStateManager().StoreMgr->getLValueField(D, Base); in getLValue()
684 return getStateManager().StoreMgr->getLValueElement(ElementType, *N, Base); in getLValue()
[all …]
|
| D | ExprEngineBuilders.h | 67 GRStateManager& getStateManager() { in getStateManager() function
68 return Eng.getStateManager(); in getStateManager()
|
| D | SubEngine.h | 53 virtual GRStateManager &getStateManager() = 0;
|
| D | SValBuilder.h | 97 GRStateManager &getStateManager() { return StateMgr; } in getStateManager() function
|
| D | ExprEngine.h | 198 virtual GRStateManager& getStateManager() { return StateMgr; } in getStateManager() function
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | GRState.cpp | 102 getStateManager().StoreMgr->BindCompoundLiteral(getStore(), CL, LC, V); in bindCompoundLiteral()
108 getStateManager().StoreMgr->BindDecl(getStore(), VR, IVal); in bindDecl()
114 getStateManager().StoreMgr->BindDeclWithNoInit(getStore(), VR); in bindDeclWithNoInit()
119 GRStateManager &Mgr = getStateManager(); in bindLoc()
130 GRStateManager &Mgr = getStateManager(); in bindDefault()
158 GRStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
182 const StoreRef &newStore = getStateManager().StoreMgr->Remove(OldStore, LV); in unbindLoc()
192 getStateManager().StoreMgr->enterStackFrame(this, frame); in enterStackFrame()
250 Environment NewEnv = getStateManager().EnvMgr.bindExpr(Env, S, V, in BindExpr()
257 return getStateManager().getPersistentState(NewSt); in BindExpr()
[all …]
|
| D | BugReporterVisitors.cpp | 316 GRStateManager &StateMgr = BRC.getStateManager(); in registerTrackNullOrUndefValue()
436 GRStateManager &StateMgr = BRC.getStateManager(); in registerVarDeclsLastStore()
|
| D | CoreEngine.cpp | 328 SubEng.getStateManager()); in HandleBlockEntrance()
441 SubEng.getStateManager()); in HandlePostStmt()
826 const GRState *NewState = NewEng.getStateManager().MarshalState(state, in generateNode()
|
| D | SimpleConstraintManager.cpp | 259 GRStateManager &StateMgr = state->getStateManager(); in assumeSymRel()
|
| D | BugReporter.cpp | 476 GRStateManager& VMgr = cast<GRBugReporter>(BR).getStateManager(); in HandleNotableSymbol()
478 cast<GRBugReporter>(BR).getStateManager().iterBindings(N->getState(), H); in HandleNotableSymbol()
795 PDB.getStateManager().iterBindings(N->getState(), SNS); in GenerateMinimalPathDiagnostic()
1303 GRBugReporter::getStateManager() { return Eng.getStateManager(); } in getStateManager() function in GRBugReporter
|
| D | CFRefCount.cpp | 2388 GetAllocationSite(BRC.getStateManager(), EndN, Sym); in getEndPath()
2487 GetAllocationSite(Eng.getStateManager(), getErrorNode(), getSymbol()); in CFRefLeakReport()
|
| D | ExprEngine.cpp | 82 TF->RegisterPrinters(getStateManager().Printers); in ExprEngine()
962 SVal recovered = RecoverCastedSymbol(getStateManager(), in processBranch()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ChrootChecker.cpp | 92 GRStateManager &Mgr = state->getStateManager(); in Chroot()
102 GRStateManager &Mgr = state->getStateManager(); in Chdir()
|
| D | UndefBranchChecker.cpp | 98 FindUndefExpr FindIt(Eng.getStateManager(), St); in checkBranchCondition()
|
| D | StackAddrEscapeChecker.cpp | 180 state->getStateManager().getStoreManager().iterBindings(state->getStore(),cb); in checkEndPath()
|
| D | CallAndMessageChecker.cpp | 148 C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 395 GRStateManager &getStateManager();
445 GRStateManager& getStateManager() { in getStateManager() function
446 return BR.getStateManager(); in getStateManager()
450 return getStateManager().getSValBuilder(); in getSValBuilder()
|