| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager() function
|
| H A D | ProgramState.h | 186 SymbolManager &getSymbolManager() const;
559 SymbolManager &getSymbolManager() { in getSymbolManager() function
560 return svalBuilder->getSymbolManager(); in getSymbolManager()
562 const SymbolManager &getSymbolManager() const { in getSymbolManager() function
563 return svalBuilder->getSymbolManager(); in getSymbolManager()
836 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager() function
837 return getStateManager().getSymbolManager(); in getSymbolManager()
|
| H A D | CheckerContext.h | 118 SymbolManager &getSymbolManager() { in getSymbolManager() function
119 return getSValBuilder().getSymbolManager(); in getSymbolManager()
|
| H A D | SValBuilder.h | 152 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function
153 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager() function
|
| H A D | ExprEngine.h | 430 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ContainerModeling.cpp | 320 auto &SymMgr = C.getSymbolManager(); in handleAssignment()
433 auto &SymMgr = C.getSymbolManager(); in handlePushBack()
462 auto &SymMgr = C.getSymbolManager(); in handlePopBack()
507 auto &SymMgr = C.getSymbolManager(); in handlePushFront()
544 auto &SymMgr = C.getSymbolManager(); in handlePopFront()
669 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter()
847 auto &SymMgr = State->getSymbolManager(); in createContainerBegin()
870 auto &SymMgr = State->getSymbolManager(); in createContainerEnd()
1022 auto &SymMgr = SVB.getSymbolManager(); in rebaseSymbol()
|
| H A D | Iterator.cpp | 215 auto &SymMgr = StateMgr.getSymbolManager(); in createIteratorPosition()
231 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition()
|
| H A D | IteratorModeling.cpp | 472 auto &SymMgr = C.getSymbolManager(); in handleComparison()
497 auto &SymMgr = C.getSymbolManager(); in handleComparison()
542 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement()
568 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement()
|
| H A D | MacOSKeychainAPIChecker.cpp | 436 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()
|
| H A D | BasicObjCFoundationChecks.cpp | 1038 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()
|
| H A D | MallocChecker.cpp | 2056 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()
2672 C.getSymbolManager().addSymbolDependency(ToPtr, FromPtr); in ReallocMemAux()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | SymbolReaperTest.cpp | 36 Eng.getSymbolManager(), Eng.getStoreManager()); in performTest()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 63 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
76 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
|
| H A D | RangeConstraintManager.cpp | 1484 return State->getSymbolManager().getSymSymExpr( in getRangeForNegatedSymSym()
1494 return State->getSymbolManager().getUnarySymExpr(Sym, UO_Minus, in getRangeForNegatedSym()
1523 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
|
| H A D | SValBuilder.cpp | 722 VB.getSymbolManager().getExtentSymbol(FTR)); in VisitLocMemRegionVal()
|
| H A D | SimpleSValBuilder.cpp | 283 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
|
| H A D | MemRegion.cpp | 739 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
|
| H A D | ExprEngine.cpp | 221 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()
|