| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SValBuilder.cpp | 51 void SValBuilder::anchor() {} in anchor()
53 SValBuilder::SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, in SValBuilder() function in SValBuilder
63 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal()
78 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
98 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
122 SVal SValBuilder::convertToArrayIndex(SVal val) { in convertToArrayIndex()
214 SValBuilder::getConjuredHeapSymbolVal(const Expr *E, in getConjuredHeapSymbolVal()
222 SValBuilder::getConjuredHeapSymbolVal(const Expr *E, in getConjuredHeapSymbolVal()
447 SVal SValBuilder::evalMinus(NonLoc X) { in evalMinus()
459 SVal SValBuilder::evalComplement(NonLoc X) { in evalComplement()
[all …]
|
| H A D | DynamicExtent.cpp | 29 const MemRegion *MR, SValBuilder &SVB) { in getDynamicExtent()
38 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) { in getElementExtent()
45 SValBuilder &SVB, in getDynamicElementCount()
59 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in getDynamicExtentWithOffset()
82 DefinedOrUnknownSVal Size, SValBuilder &SVB) { in setDynamicExtent()
|
| H A D | CallEvent.cpp | 399 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument()
429 SValBuilder &SVB, in addParameterValuesToBindings()
559 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
760 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
835 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
878 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1325 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
1372 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
1395 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
|
| H A D | SimpleSValBuilder.cpp | 23 class SimpleSValBuilder : public SValBuilder {
63 : SValBuilder(alloc, context, stateMgr) {} in SimpleSValBuilder()
85 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, in createSimpleSValBuilder()
221 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isInRelation()
238 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in isWithinConstantOverflowBounds()
281 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in doRearrangeUnchecked()
355 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange()
1210 SValBuilder &SVB; in simplifySValOnce()
|
| H A D | CMakeLists.txt | 48 SValBuilder.cpp
|
| H A D | SimpleConstraintManager.cpp | 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assumeInternal()
|
| H A D | CheckerContext.cpp | 137 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicExtent.h | 27 const MemRegion *MR, SValBuilder &SVB);
30 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB);
35 SValBuilder &SVB, QualType Ty);
39 DefinedOrUnknownSVal Extent, SValBuilder &SVB);
|
| H A D | SimpleConstraintManager.h | 25 SValBuilder &SVB;
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager()
78 SValBuilder &getSValBuilder() const { return SVB; } in getSValBuilder()
|
| H A D | Environment.h | 28 class SValBuilder; variable
76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| H A D | SVals.h | 47 class SValBuilder; variable
346 friend class ento::SValBuilder;
378 friend class ento::SValBuilder;
403 friend class ento::SValBuilder;
443 friend class ento::SValBuilder;
|
| H A D | SValBuilder.h | 53 class SValBuilder {
79 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context,
82 virtual ~SValBuilder() = default;
394 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
|
| H A D | Store.h | 55 SValBuilder &svalBuilder;
132 SValBuilder& getSValBuilder() { return svalBuilder; } in getSValBuilder()
|
| H A D | SMTConstraintManager.h | 35 clang::ento::SValBuilder &SB) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
272 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 63 SValBuilder &svalBuilder,
71 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()
86 SValBuilder &svalBuilder) { in getSimplifiedOffsets()
131 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation()
276 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()
284 SValBuilder &sb) { in scaleValue()
293 SValBuilder &svalBuilder) { in addValue()
307 SValBuilder &svalBuilder, in computeOffset()
|
| H A D | ErrnoTesterChecker.cpp | 105 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError()
122 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange()
144 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState()
|
| H A D | UndefResultChecker.cpp | 68 SValBuilder &SB = C.getSValBuilder(); in isLeftShiftResultUnrepresentable()
137 SValBuilder &SB = C.getSValBuilder(); in checkPostStmt()
157 SValBuilder &SB = C.getSValBuilder(); in checkPostStmt()
|
| H A D | VLASizeChecker.cpp | 96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA()
189 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize()
256 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt()
|
| H A D | CStringChecker.cpp | 302 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
357 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation()
425 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
511 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
720 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
817 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
947 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound()
1118 SValBuilder &svalBuilder = C.getSValBuilder(); in memsetAux()
1353 SValBuilder &Builder = C.getSValBuilder(); in evalMemcmp()
2166 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep()
[all …]
|
| H A D | BoolAssignmentChecker.cpp | 85 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind()
|
| H A D | EnumCastOutOfRangeChecker.cpp | 37 SValBuilder &SVB;
|
| H A D | BuiltinFunctionChecker.cpp | 108 SValBuilder &SVB = C.getSValBuilder(); in evalCall()
|
| H A D | CastSizeChecker.cpp | 113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | StoreTest.cpp | 45 SValBuilder &Builder = Eng.getSValBuilder(); in performTest()
113 SValBuilder &Builder = Eng.getSValBuilder(); in performTest()
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 53 "SValBuilder.cpp",
|