Searched refs:BufV (Results 1 – 4 of 4) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 85 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV) { in getDynamicExtentWithOffset() argument
87 const MemRegion *MRegion = BufV.getAsRegion(); in getDynamicExtentWithOffset()
106 SVal BufV, in getDynamicElementCountWithOffset() argument
108 const MemRegion *MR = BufV.getAsRegion(); in getDynamicElementCountWithOffset()
117 return getDynamicElementCount(State, getDynamicExtentWithOffset(State, BufV), in getDynamicElementCountWithOffset()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicExtent.h | 54 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV);
59 SVal BufV, QualType Ty);
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 275 SVal BufV, SVal SizeV, QualType SizeTy);
279 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV);
284 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV);
290 SVal BufV);
1214 ConstCFGElementRef Elem, SVal BufV, SVal SizeV, QualType SizeTy) { in invalidateDestinationBufferBySize() argument
1216 [&C, S, BufTy = BufE->getType(), BufV, SizeV, in invalidateDestinationBufferBySize()
1221 isFirstBufInBound(C, S, BufV, BufTy, SizeV, SizeTy)) { in invalidateDestinationBufferBySize()
1229 return invalidateBufferAux(C, S, Elem, BufV, InvalidationTraitOperations); in invalidateDestinationBufferBySize()
1234 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV) { in invalidateDestinationBufferAlwaysEscapeSuperRegion() argument
1240 return invalidateBufferAux(C, S, Elem, BufV, InvalidationTraitOperations); in invalidateDestinationBufferAlwaysEscapeSuperRegion()
[all …]
|
| H A D | StdLibraryFunctionsChecker.cpp | 1241 SVal BufV = getArgSVal(Call, getArgNo()); in apply() local
1262 SVal BufDynSize = getDynamicExtentWithOffset(State, BufV); in apply()
1300 SVal BufV = getArgSVal(Call, getArgNo()); in describeArgumentValue() local
1301 SVal BufDynSize = getDynamicExtentWithOffset(State, BufV); in describeArgumentValue()
|