| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoTesterChecker.cpp | 108 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError() local
125 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange() local
147 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState() local
|
| H A D | VLASizeChecker.cpp | 96 SValBuilder &SVB = C.getSValBuilder(); in checkVLA() local
182 SValBuilder &SVB = C.getSValBuilder(); in checkVLAIndexSize() local
269 SValBuilder &SVB = C.getSValBuilder(); in checkPreStmt() local
|
| H A D | ArrayBoundCheckerV2.cpp | 171 computeOffset(ProgramStateRef State, SValBuilder &SVB, SVal Location) { in computeOffset()
273 static bool isNegative(SValBuilder &SVB, ProgramStateRef State, NonLoc Value) { in isNegative()
278 static bool isUnsigned(SValBuilder &SVB, NonLoc Value) { in isUnsigned()
292 SValBuilder &SVB, bool CheckEquality = false) { in compareValueToThreshold()
562 SValBuilder &SVB = C.getSValBuilder(); in performCheck() local
|
| H A D | ContainerModeling.cpp | 326 auto &SVB = C.getSValBuilder(); in handleAssignment() local
440 auto &SVB = C.getSValBuilder(); in handlePushBack() local
469 auto &SVB = C.getSValBuilder(); in handlePopBack() local
514 auto &SVB = C.getSValBuilder(); in handlePushFront() local
551 auto &SVB = C.getSValBuilder(); in handlePopFront() local
676 auto &SVB = C.getSValBuilder(); in handleEraseAfter() local
1013 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym, in rebaseSymbolInIteratorPositionsIf()
1028 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, in rebaseSymbol()
|
| H A D | BuiltinFunctionChecker.cpp | 130 SValBuilder &SVB = C.getSValBuilder(); in evalCall() local
|
| H A D | CXXSelfAssignmentChecker.cpp | 48 auto &SVB = C.getSValBuilder(); in checkBeginFunction() local
|
| H A D | ErrnoModeling.cpp | 115 SValBuilder &SVB = C.getSValBuilder(); in checkBeginFunction() local
246 SValBuilder &SVB = C.getSValBuilder(); in setErrnoForStdFailure() local
|
| H A D | STLAlgorithmModeling.cpp | 132 auto &SVB = C.getSValBuilder(); in Find() local
|
| H A D | PointerSubChecker.cpp | 68 SValBuilder &SVB = C.getSValBuilder(); in checkArrayBounds() local
|
| H A D | SetgidSetuidOrderChecker.cpp | 93 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in evalAssume() local
|
| H A D | IteratorModeling.cpp | 257 auto &SVB = C.getSValBuilder(); in checkPostStmt() local
647 auto &SVB = C.getSValBuilder(); in handlePtrIncrOrDecr() local
787 auto &SVB = State->getStateManager().getSValBuilder(); in relateSymbols() local
|
| H A D | TrustNonnullChecker.cpp | 217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication() local
|
| H A D | MIGChecker.cpp | 236 SValBuilder &SVB = C.getSValBuilder(); in mayBeSuccess() local
|
| H A D | StreamChecker.cpp | 635 SValBuilder &SVB; member
810 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getKnownValue() local
830 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in escapeByStartIndexAndCount() local
1049 static std::optional<NonLoc> getStartIndex(SValBuilder &SVB, in getStartIndex()
|
| H A D | StdLibraryFunctionsChecker.cpp | 586 SValBuilder &SVB = C.getSValBuilder(); in apply() local
909 SValBuilder &SVB = Mgr.getSValBuilder(); in getBVF() local
1137 SValBuilder &SVB = Mgr.getSValBuilder(); in apply() local
1563 SValBuilder &SVB = C.getSValBuilder(); in initFunctionSummaries() local
|
| H A D | CStringChecker.cpp | 406 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getIndex() local
458 SValBuilder &SVB = C.getSValBuilder(); in checkInit() local
2449 SValBuilder &SVB = C.getSValBuilder(); in evalStrsep() local
2513 SValBuilder &SVB = C.getSValBuilder(); in evalStdCopyCommon() local
|
| H A D | UnixAPIChecker.cpp | 354 auto &SVB = C.getSValBuilder(); in EnsureGetdelimBufferAndSizeCorrect() local
|
| H A D | MallocChecker.cpp | 1387 SValBuilder &SVB = C.getSValBuilder(); in checkGetdelim() local
1723 SValBuilder &SVB = C.getSValBuilder(); in checkTaintedness() local
1769 SValBuilder &SVB = C.getSValBuilder(); in MallocMemAux() local
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallEvent.cpp | 401 const ParmVarDecl *Parameter, SValBuilder &SVB) { in processArgument()
436 SVal ArgVal, SValBuilder &SVB) { in castArgToParamTypeIfNeeded()
463 SValBuilder &SVB, in addParameterValuesToBindings()
618 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
741 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getCXXThisVal() local
824 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents() local
899 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
942 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1389 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() local
1442 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() local
[all …]
|
| H A D | RangedConstraintManager.cpp | 236 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in simplifyToSVal() local
|
| H A D | ExprEngineCXX.cpp | 102 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeElementRegion() local
126 SValBuilder &SVB = getSValBuilder(); in computeObjectUnderConstruction() local
|
| H A D | RegionStore.cpp | 852 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()
923 SValBuilder &SVB, const ClusterBindings &Cluster, in collectSubRegionBindings()
1529 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B, in getExistingLazyBinding()
1885 const TypedValueRegion *SubReg, const ASTContext &Ctx, SValBuilder &SVB) { in getDerivedSymbolForBinding()
|
| H A D | ExprEngineCallAndReturn.cpp | 202 const CallEvent &Call, const ProgramStateRef State, SValBuilder &SVB) { in getElementCountOfArrayBeingDestructed()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 25 SValBuilder &SVB; variable
|
| H A D | SMTConstraintManager.h | 276 SValBuilder &SVB = getSValBuilder(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|