| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugIteratorModeling.cpp | 97 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition() local
105 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer() local
113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity() local
|
| H A D | IteratorRangeChecker.cpp | 134 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall() local
209 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement() local
215 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement() local
298 auto &BVF = State->getBasicVals(); in isZero() local
|
| H A D | BuiltinFunctionChecker.cpp | 98 BasicValueFactory &BVF = SVB.getBasicValueFactory(); evalCall() local
|
| H A D | BoolAssignmentChecker.cpp | 83 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in checkBind() local
|
| H A D | DebugContainerModeling.cpp | 107 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local
|
| H A D | ContainerModeling.cpp | 439 auto &BVF = SymMgr.getBasicVals(); in handlePushBack() local
468 auto &BVF = SymMgr.getBasicVals(); in handlePopBack() local
513 auto &BVF = SymMgr.getBasicVals(); in handlePushFront() local
550 auto &BVF = SymMgr.getBasicVals(); in handlePopFront() local
675 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter() local
|
| H A D | StdLibraryFunctionsChecker.cpp | 340 void applyOnRange(RangeKind Kind, BasicValueFactory &BVF, QualType ArgT, in applyOnRange() argument
935 BasicValueFactory &BVF, in appendInsideRangeDesc() argument
962 appendOutOfRangeDesc(llvm::APSInt RMin,llvm::APSInt RMax,QualType ArgT,BasicValueFactory & BVF,llvm::raw_ostream & Out) appendOutOfRangeDesc() argument
987 applyOnWithinRange(BasicValueFactory & BVF,QualType ArgT,const RangeApplyFunction & F) const applyOnWithinRange() argument
1001 applyOnOutOfRange(BasicValueFactory & BVF,QualType ArgT,const RangeApplyFunction & F) const applyOnOutOfRange() argument
1063 BasicValueFactory &BVF = getBVF(State); describe() local
1096 BasicValueFactory &BVF = Mgr.getSValBuilder().getBasicValueFactory(); describeArgumentValue() local
1564 BasicValueFactory &BVF = SVB.getBasicValueFactory(); initFunctionSummaries() local
1638 BasicValueFactory &BVF; initFunctionSummaries() member in StdLibraryFunctionsChecker::initFunctionSummaries::GetMaxValue
1641 GetMaxValue(BasicValueFactory & BVF) initFunctionSummaries() argument
[all...] |
| H A D | IteratorModeling.cpp | 539 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement() local
565 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement() local
|
| H A D | Iterator.cpp | 231 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition() local
|
| H A D | CStringChecker.cpp | 914 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); checkAdditionOverflow() local
1020 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); getCStringLengthForRegion() local
|
| H A D | StreamChecker.cpp | 1055 BasicValueFactory &BVF = SVB.getBasicValueFactory(); getStartIndex() local
|
| H A D | MallocChecker.cpp | 1728 BasicValueFactory &BVF = SVB.getBasicValueFactory(); checkTaintedness() local
|
| /llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 108 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
137 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
171 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
|
| H A D | SValBuilder.cpp | 1066 APSIntType TTy = BVF.getAPSIntType(T); in simplifySymbolCast() local
964 BasicValueFactory &BVF = VB.getBasicValueFactory(); VisitSymbolVal() local
|
| H A D | ProgramState.cpp | 344 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); assumeInBoundDual() local
|
| H A D | CallEvent.cpp | 417 BasicValueFactory &BVF = SVB.getBasicValueFactory(); processArgument() local
|
| /llvm-project/clang/unittests/StaticAnalyzer/ |
| H A D | APSIntTypeTest.cpp | 22 clang::ento::BasicValueFactory BVF{Context, Arena}; in TEST() local
|
| H A D | RangeSetTest.cpp | 120 BasicValueFactory BVF{Context, Arena}; member in __anon2252383f0111::RangeSetTest
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 116 BasicValueFactory &BVF = getBasicVals(); REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|