Searched defs:svalBuilder (Results 1 – 12 of 12) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 71 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()
86 SValBuilder &svalBuilder) { in getSimplifiedOffsets()
131 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation() local
277 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()
294 SValBuilder &svalBuilder) { in addValue()
308 SValBuilder &svalBuilder, in computeOffset()
|
| H A D | BoolAssignmentChecker.cpp | 81 SValBuilder &svalBuilder = C.getSValBuilder(); in checkBind() local
|
| H A D | CStringChecker.cpp | 289 SValBuilder &svalBuilder = C.getSValBuilder(); in REGISTER_MAP_WITH_PROGRAMSTATE() local
384 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local
465 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local
654 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local
751 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local
811 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local
881 SValBuilder &svalBuilder = C.getSValBuilder(); in IsFirstBufInBound() local
1055 SValBuilder &svalBuilder = C.getSValBuilder(); in memsetAux() local
1575 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local
1978 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcmpCommon() local
|
| H A D | CastSizeChecker.cpp | 113 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
|
| H A D | MallocChecker.cpp | 1184 SValBuilder &svalBuilder = C.getSValBuilder(); in checkGMalloc0() local
1531 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local
2376 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMemAux() local
2473 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem() local
|
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineObjC.cpp | 47 ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, in populateObjCForDestinationSet()
|
| H A D | SVals.cpp | 220 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
|
| H A D | ProgramState.cpp | 332 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBound() local
|
| H A D | ExprEngineC.cpp | 29 SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, in conjureOffsetSymbolOnLocation()
|
| H A D | RegionStore.cpp | 709 SValBuilder &svalBuilder; member in __anoned09092b0611::ClusterAnalysis
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 162 SValBuilder &svalBuilder; variable
|
| H A D | ProgramState.h | 484 std::unique_ptr<SValBuilder> svalBuilder; variable
|