/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ObjCSuperDeallocChecker.cpp | 85 ProgramStateRef State = C.getState(); in checkPreObjCMessage() 118 ProgramStateRef State = C.getState(); in checkPostObjCMessage() 136 ProgramStateRef State = C.getState(); in checkLocation() 202 ProgramStateRef State = C.getState(); in diagnoseCallArguments() 240 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage() 253 ProgramStateRef State = Succ->getState(); in VisitNode() 256 Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol); in VisitNode() 258 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>( in VisitNode()
|
H A D | VforkChecker.cpp | 125 if (ExplodedNode *N = C.generateErrorNode(C.getState())) { in reportBug() 149 ProgramStateRef State = C.getState(); in checkPostCall() 178 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); in checkPostCall() 188 ProgramStateRef State = C.getState(); in checkPreCall() 197 ProgramStateRef State = C.getState(); in checkBind() 214 ProgramStateRef State = C.getState(); in checkPreStmt()
|
H A D | InvalidatedIteratorChecker.cpp | 80 ProgramStateRef State = C.getState(); in checkPreStmt() 91 ProgramStateRef State = C.getState(); in checkPreStmt() 102 ProgramStateRef State = C.getState(); in checkPreStmt() 112 ProgramStateRef State = C.getState(); in checkPreStmt() 118 auto State = C.getState(); in verifyAccess()
|
H A D | ValistChecker.cpp | 146 if (C.getState()->contains<InitializedVALists>(VAList)) in checkPreCall() 178 Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion(); in getVAListAsRegion() 188 ProgramStateRef State = C.getState(); in checkPreStmt() 205 ProgramStateRef State = C.getState(); in checkDeadSymbols() 232 ProgramStateRef State = N->getState(); in getStartCallSite() 316 ProgramStateRef State = C.getState(); in checkVAListStartCall() 368 if (!C.getState()->contains<InitializedVALists>(VAList)) { in checkVAListEndCall() 373 ProgramStateRef State = C.getState(); in checkVAListEndCall() 380 ProgramStateRef State = N->getState(); in VisitNode() 381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
|
H A D | PointerArithChecker.cpp | 108 ProgramStateRef State = C.getState(); in getPointedRegion() 130 ProgramStateRef State = C.getState(); in getArrayRegion() 155 ProgramStateRef State = C.getState(); in reportPointerArithMisuse() 219 ProgramStateRef State = C.getState(); in checkPostStmt() 248 ProgramStateRef State = C.getState(); in checkPostStmt() 263 ProgramStateRef State = C.getState(); in checkPostStmt() 281 ProgramStateRef State = C.getState(); in checkPreStmt() 325 ProgramStateRef State = C.getState(); in checkPreStmt()
|
H A D | ErrnoTesterChecker.cpp | 87 C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(), in evalSetErrno() 93 ProgramStateRef State = C.getState(); in evalGetErrno() 105 ProgramStateRef State = C.getState(); in evalSetErrnoIfError() 122 ProgramStateRef State = C.getState(); in evalSetErrnoIfErrorRange() 144 ProgramStateRef State = C.getState(); in evalSetErrnoCheckState()
|
H A D | StreamChecker.cpp | 474 State = N->getState(); in getAcquisitionSite() 513 ProgramStateRef State = C.getState(); in evalFopen() 543 ProgramStateRef State = C.getState(); in preFreopen() 555 ProgramStateRef State = C.getState(); in evalFreopen() 600 ProgramStateRef State = C.getState(); in evalFclose() 634 ProgramStateRef State = C.getState(); in preFread() 659 ProgramStateRef State = C.getState(); in preFwrite() 678 ProgramStateRef State = C.getState(); in evalFreadFwrite() 757 ProgramStateRef State = C.getState(); in preFseek() 775 ProgramStateRef State = C.getState(); in evalFseek() [all …]
|
H A D | MIGChecker.cpp | 193 C.addTransition(C.getState()->add<RefCountedParameters>(PVD)); in checkPostCall() 208 ProgramStateRef State = C.getState(); in checkPostCall() 230 ProgramStateRef State = C.getState(); in mayBeSuccess() 241 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess() 269 ProgramStateRef State = C.getState(); in checkReturnAux()
|
H A D | ReturnValueChecker.cpp | 80 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); in isInvariantBreak() 82 return C.getState()->isNull(*ReturnDV).isConstrainedFalse(); in isInvariantBreak() 114 ProgramStateRef State = C.getState(); in checkPostCall() 129 ProgramStateRef State = C.getState(); in checkEndFunction()
|
H A D | ExprInspectionChecker.cpp | 140 ProgramStateRef State = N->getState(); in getArgumentValueString() 275 C.getConstraintManager().printValue(Out, C.getState(), Sym); in printHelper() 332 ProgramStateRef State = C.getState(); in analyzerGetExtent() 346 getDynamicExtent(C.getState(), MR, C.getSValBuilder()); in analyzerDumpExtent() 372 C.getState()->dump(); in analyzerPrintState() 386 ProgramStateRef State = C.getState(); in analyzerWarnOnDeadSymbol() 393 ProgramStateRef State = C.getState(); in checkDeadSymbols() 464 ProgramStateRef State = C.getState(); in analyzerDenote() 466 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E)); in analyzerDenote() 542 SymbolExpressor V(C.getState()); in analyzerExpress() [all …]
|
H A D | ObjCSelfInitChecker.cpp | 114 return getSelfFlags(val, C.getState()); in getSelfFlags() 149 if (!C.getState()->get<CalledInit>()) in checkForInvalidSelf() 179 ProgramStateRef state = C.getState(); in checkPostObjCMessage() 245 ProgramStateRef state = C.getState(); in checkPreCall() 274 ProgramStateRef state = C.getState(); in checkPostCall() 311 ProgramStateRef state = C.getState(); in checkLocation() 331 ProgramStateRef State = C.getState(); in checkBind()
|
H A D | ErrnoChecker.cpp | 136 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkLocation() 144 ProgramStateRef State = C.getState(); in checkLocation() 209 if (getErrnoState(C.getState()) == MustBeChecked) { in checkPreCall() 210 std::optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall() 212 generateErrnoNotCheckedBug(C, setErrnoStateIrrelevant(C.getState()), in checkPreCall()
|
H A D | NoReturnFunctionChecker.cpp | 86 C.generateSink(C.getState(), C.getPredecessor()); in checkPostCall() 95 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage() 141 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
|
H A D | IteratorRangeChecker.cpp | 149 ProgramStateRef State = C.getState(); in checkPreStmt() 164 ProgramStateRef State = C.getState(); in checkPreStmt() 181 ProgramStateRef State = C.getState(); in checkPreStmt() 191 ProgramStateRef State = C.getState(); in checkPreStmt() 198 auto State = C.getState(); in verifyDereference() 224 auto State = C.getState(); in verifyRandomIncrOrDecr() 284 const auto *Pos = getIteratorPosition(C.getState(), Val); in reportBug()
|
H A D | IteratorModeling.cpp | 197 auto State = C.getState(); in checkPostCall() 236 auto State = C.getState(); in checkBind() 294 auto State = C.getState(); in checkPostStmt() 326 auto State = C.getState(); in checkDeadSymbols() 456 auto State = C.getState(); in handleComparison() 541 auto State = C.getState(); in handleIncrement() 567 auto State = C.getState(); in handleDecrement() 596 auto State = C.getState(); in handleRandomIncrOrDecr() 640 ProgramStateRef State = C.getState(); in handlePtrIncrOrDecr() 693 auto State = C.getState(); in assignToContainer() [all …]
|
H A D | ChrootChecker.cpp | 80 ProgramStateRef state = C.getState(); in evalChroot() 90 ProgramStateRef state = C.getState(); in evalChdir() 123 void *const* k = C.getState()->FindGDM(ChrootChecker::getTag()); in checkPreCall()
|
H A D | MallocChecker.cpp | 1206 ProgramStateRef State = C.getState(); in evalMulForBufferSize() 1214 ProgramStateRef State = C.getState(); in checkBasicAlloc() 1223 ProgramStateRef State = C.getState(); in checkKernelMalloc() 1272 ProgramStateRef State = C.getState(); in checkRealloc() 1280 ProgramStateRef State = C.getState(); in checkCalloc() 1288 ProgramStateRef State = C.getState(); in checkFree() 1299 ProgramStateRef State = C.getState(); in checkAlloca() 1308 ProgramStateRef State = C.getState(); in checkStrdup() 1319 ProgramStateRef State = C.getState(); in checkIfNameIndex() 1330 ProgramStateRef State = C.getState(); in checkIfFreeNameIndex() [all …]
|
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 40 ProgramStateRef State = Ctx.getState(); in checkDoubleNonblocking() 48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking() 75 ProgramStateRef State = Ctx.getState(); in checkUnmatchedWaits() 86 State = ErrorNode->getState(); in checkUnmatchedWaits() 103 ProgramStateRef State = Ctx.getState(); in checkMissingWaits() 118 State = ErrorNode->getState(); in checkMissingWaits() 165 Ctx.getState(), SuperRegion, Ctx.getSValBuilder(), in allRegionsUsedByWait()
|
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineObjC.cpp | 24 ProgramStateRef state = Pred->getState(); in VisitLvalObjCIvarRefExpr() 53 ProgramStateRef state = Pred->getState(); in populateObjCForDestinationSet() 113 ProgramStateRef state = Pred->getState(); in VisitObjCForCollectionStmt() 152 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); in VisitObjCMessage() 189 ProgramStateRef State = Pred->getState(); in VisitObjCMessage() 244 ProgramStateRef State = Pred->getState(); in VisitObjCMessage() 263 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
|
H A D | ExprEngineC.cpp | 56 ProgramStateRef state = (*it)->getState(); in VisitBinaryOperator() 139 state = (*I)->getState(); in VisitBinaryOperator() 207 ProgramStateRef State = Pred->getState(); in VisitBlockExpr() 552 ProgramStateRef State = Pred->getState(); in VisitCompoundLiteralExpr() 604 ProgramStateRef state = N->getState(); in VisitDeclStmt() 669 ProgramStateRef state = Pred->getState(); in VisitLogicalExpr() 734 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr() 747 ProgramStateRef state = Pred->getState(); in VisitInitListExpr() 798 ProgramStateRef state = Pred->getState(); in VisitGuardedExpr() 815 SrcState = N->getState(); in VisitGuardedExpr() [all …]
|
H A D | ExprEngine.cpp | 1165 ProgramStateRef State = Pred->getState(); in ProcessInitializer() 1231 ProgramStateRef State = I->getState(); in ProcessInitializer() 1329 ProgramStateRef state = Pred->getState(); in ProcessAutomaticObjDtor() 1395 ProgramStateRef State = Pred->getState(); in ProcessDeleteDtor() 2481 if (NewState != Pred->getState()) { in processCFGBlockEntrance() 2489 if(isUnrolledState(Pred->getState())) in processCFGBlockEntrance() 2678 ProgramStateRef State = N->getState(); in assumeCondition() 2917 if (State != Pred->getState()) { in processEndOfFunction() 3653 state = I->getState(); in evalLoad() 3684 if (Pred->getState() != state) { in evalLocation() [all …]
|
H A D | CallEvent.cpp | 72 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType() 235 ProgramStateRef Result = (Orig ? Orig : getState()); in invalidateRegions() 329 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump() 525 getOriginExpr(), getState(), &Engine.getBuilderContext(), in getReturnValueUnderConstruction() 595 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() 740 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getRuntimeDefinition() 795 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() 871 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() 987 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in getReceiverSVal() 1001 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in isReceiverSelfOrSuper() [all …]
|
H A D | BugReporterVisitors.cpp | 167 return N->getState() in getLocationRegionIfReference() 210 ProgramStateRef State = N->getState(); in getSValForVar() 294 ProgramStateRef State = N->getState(); in wasRegionOfInterestModifiedAt() 445 ProgramStateRef State = N->getState(); in VisitNode() 933 ProgramStateRef State = N->getState(); in matchAssignment() 1014 ProgramStateRef State = N->getState(); in visitNodeInitial() 1140 ProgramStateRef State = N->getState(); in visitNodeMaybeUnsuppress() 1531 if (Succ->getState()->getSVal(R) != V) in VisitNode() 2266 if (LVNode->getState() in handle() 2694 ProgramStateRef state = N->getState(); in getNilReceiver() [all …]
|
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 52 assert(Pred->getState() && in Eng() 72 const ProgramStateRef &getState() const { return Pred->getState(); } in getState() function 171 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag); 191 return addTransitionImpl(State ? State : getState(), true, Pred, Tag); 198 State = getState(); 410 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
|
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/cert/ |
H A D | InvalidPtrChecker.cpp | 97 ProgramStateRef State = C.getState(); in REGISTER_SET_WITH_PROGRAMSTATE() 118 ProgramStateRef State = C.getState(); in postPreviousReturnInvalidatingCall() 202 ProgramStateRef State = C.getState(); in checkPostCall() 240 ProgramStateRef State = C.getState(); in checkBeginFunction() 252 ProgramStateRef State = C.getState(); in checkLocation()
|