| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 30 void SValBuilder::anchor() { } in anchor()
32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal()
44 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
54 NonLoc SValBuilder::makeNonLoc(const llvm::APSInt& lhs, in makeNonLoc()
62 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
69 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
76 SVal SValBuilder::convertToArrayIndex(SVal val) { in convertToArrayIndex()
90 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
95 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion* region) { in getRegionValueSymbolVal()
109 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, in conjureSymbolVal()
[all …]
|
| D | CallEvent.cpp | 285 SValBuilder &SVB, in addParameterValuesToBindings()
327 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
497 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
574 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
598 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
890 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
941 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
967 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
|
| D | SVals.cpp | 187 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
200 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { in evalComplement()
205 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { in evalMinus()
|
| D | CMakeLists.txt | 34 SValBuilder.cpp
|
| D | Android.mk | 43 SValBuilder.cpp \
|
| D | MemRegion.cpp | 183 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
197 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
216 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
220 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
224 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
|
| D | SimpleSValBuilder.cpp | 22 class SimpleSValBuilder : public SValBuilder {
31 : SValBuilder(alloc, context, stateMgr) {} in SimpleSValBuilder()
52 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, in createSimpleSValBuilder()
|
| D | Environment.cpp | 69 SValBuilder& svalBuilder) const { in getSVal()
|
| D | RegionStore.cpp | 606 SValBuilder &svalBuilder;
750 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()
822 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()
1276 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding()
1604 static Optional<SVal> getConstValue(SValBuilder &SVB, const VarDecl *VD) { in getConstValue()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 60 SValBuilder &svalBuilder,
68 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation()
236 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()
244 SValBuilder &sb) { in scaleValue()
253 SValBuilder &svalBuilder) { in addValue()
267 SValBuilder &svalBuilder, in computeOffset()
|
| D | BuiltinFunctionChecker.cpp | 66 SValBuilder& svalBuilder = C.getSValBuilder(); in evalCall()
|
| D | CastSizeChecker.cpp | 56 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
|
| D | CStringChecker.cpp | 208 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE()
278 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation()
341 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess()
438 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap()
550 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow()
664 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion()
723 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength()
1025 SValBuilder &svalBuilder = C.getSValBuilder(); in evalMemcmp()
1307 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon()
1669 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcmpCommon()
|
| D | BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind()
|
| D | MacOSKeychainAPIChecker.cpp | 112 SValBuilder &Builder,
118 SValBuilder &Builder) const { in definitelyDidnotReturnError()
237 SValBuilder &Builder, in definitelyReturnedError()
|
| D | VLASizeChecker.cpp | 131 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt()
|
| D | MallocChecker.cpp | 577 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux()
597 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux()
1005 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMem()
1098 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 39 class SValBuilder; variable
340 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
343 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
345 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
361 friend class ento::SValBuilder;
403 friend class ento::SValBuilder;
429 friend class ento::SValBuilder;
|
| D | Environment.h | 28 class SValBuilder; variable
77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| D | SValBuilder.h | 31 class SValBuilder {
62 SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, in SValBuilder() function
71 virtual ~SValBuilder() {} in ~SValBuilder()
317 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
|
| D | MemRegion.h | 42 class SValBuilder; variable
414 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent()
449 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
509 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
710 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
746 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
925 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
|
| D | CheckerContext.h | 161 SValBuilder &getSValBuilder() { in getSValBuilder()
|
| D | ExprEngine.h | 76 SValBuilder &svalBuilder;
132 SValBuilder &getSValBuilder() { return svalBuilder; } in getSValBuilder()
|
| D | Store.h | 42 SValBuilder &svalBuilder;
|
| D | ProgramState.h | 453 OwningPtr<SValBuilder> svalBuilder;
482 SValBuilder &getSValBuilder() { in getSValBuilder()
|