| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 108 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange()
137 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported()
171 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
|
| H A D | ProgramState.cpp | 344 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual()
|
| H A D | CallEvent.cpp | 417 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()
|
| H A D | RangeConstraintManager.cpp | 1607 BasicValueFactory &ValueFactory;
2855 BasicValueFactory &BV = getBasicVals(); in checkNull()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | BasicValueFactory.h | 113 class BasicValueFactory {
135 BasicValueFactory(ASTContext &ctx, llvm::BumpPtrAllocator &Alloc) in BasicValueFactory() function
139 ~BasicValueFactory();
|
| H A D | RangedConstraintManager.h | 123 Factory(BasicValueFactory &BV) : ValueFactory(BV) {} in Factory()
265 BasicValueFactory &getValueFactory() const { return ValueFactory; } in getValueFactory()
296 BasicValueFactory &ValueFactory;
|
| H A D | SValBuilder.h | 60 BasicValueFactory BasicVals;
161 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
162 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
|
| H A D | SimpleConstraintManager.h | 79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
|
| H A D | SymbolManager.h | 38 class BasicValueFactory; variable
495 BasicValueFactory &BV;
499 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager()
569 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals()
|
| H A D | ProgramState.h | 186 BasicValueFactory &getBasicVals() const;
551 BasicValueFactory &getBasicVals() { in getBasicVals()
822 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals()
|
| H A D | ExprEngine.h | 80 class BasicValueFactory; variable
419 BasicValueFactory &getBasicVals() { in getBasicVals()
|
| H A D | SMTConstraintManager.h | 116 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 83 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in checkBind()
|
| H A D | BuiltinFunctionChecker.cpp | 136 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
|
| H A D | StdLibraryFunctionsChecker.cpp | 118 QualType ArgT, BasicValueFactory &BVF,
123 QualType ArgT, BasicValueFactory &BVF,
324 void applyOnWithinRange(BasicValueFactory &BVF, QualType ArgT,
336 void applyOnOutOfRange(BasicValueFactory &BVF, QualType ArgT,
340 void applyOnRange(RangeKind Kind, BasicValueFactory &BVF, QualType ArgT, in applyOnRange()
907 static BasicValueFactory &getBVF(ProgramStateRef State) { in getBVF()
935 BasicValueFactory &BVF, in appendInsideRangeDesc()
962 BasicValueFactory &BVF, in appendOutOfRangeDesc()
987 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const { in applyOnWithinRange()
1001 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const { in applyOnOutOfRange()
[all …]
|
| H A D | CStringChecker.cpp | 914 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
1020 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
|
| H A D | StreamChecker.cpp | 1055 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in getStartIndex()
|
| H A D | MallocChecker.cpp | 1728 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in checkTaintedness()
|
| /freebsd/lib/clang/libclang/ |
| H A D | Makefile | 770 SRCS_FUL+= StaticAnalyzer/Core/BasicValueFactory.cpp
|