Home
last modified time | relevance | path

Searched refs:getState (Results 1 – 25 of 88) sorted by relevance

1234

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DStreamChecker.cpp211 ProgramStateRef state = C.getState(); in OpenFileAux()
244 ProgramStateRef state = C.getState(); in Fread()
250 ProgramStateRef state = C.getState(); in Fwrite()
256 ProgramStateRef state = C.getState(); in Fseek()
282 ProgramStateRef state = C.getState(); in Ftell()
288 ProgramStateRef state = C.getState(); in Rewind()
294 ProgramStateRef state = C.getState(); in Fgetpos()
300 ProgramStateRef state = C.getState(); in Fsetpos()
306 ProgramStateRef state = C.getState(); in Clearerr()
312 ProgramStateRef state = C.getState(); in Feof()
[all …]
H A DObjCSuperDeallocChecker.cpp87 ProgramStateRef State = C.getState(); in checkPreObjCMessage()
120 ProgramStateRef State = C.getState(); in checkPostObjCMessage()
137 ProgramStateRef State = C.getState(); in checkLocation()
203 ProgramStateRef State = C.getState(); in diagnoseCallArguments()
241 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 DVforkChecker.cpp123 if (ExplodedNode *N = C.generateErrorNode(C.getState())) { in reportBug()
147 ProgramStateRef State = C.getState(); in checkPostCall()
176 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); in checkPostCall()
185 ProgramStateRef State = C.getState(); in checkPreCall()
194 ProgramStateRef State = C.getState(); in checkBind()
211 ProgramStateRef State = C.getState(); in checkPreStmt()
H A DValistChecker.cpp145 if (C.getState()->contains<InitializedVALists>(VAList)) in checkPreCall()
177 Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion(); in getVAListAsRegion()
187 ProgramStateRef State = C.getState(); in checkPreStmt()
204 ProgramStateRef State = C.getState(); in checkDeadSymbols()
231 ProgramStateRef State = N->getState(); in getStartCallSite()
315 ProgramStateRef State = C.getState(); in checkVAListStartCall()
367 if (!C.getState()->contains<InitializedVALists>(VAList)) { in checkVAListEndCall()
372 ProgramStateRef State = C.getState(); in checkVAListEndCall()
380 ProgramStateRef State = N->getState(); in VisitNode()
381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
H A DPointerArithChecker.cpp109 ProgramStateRef State = C.getState(); in getPointedRegion()
131 ProgramStateRef State = C.getState(); in getArrayRegion()
156 ProgramStateRef State = C.getState(); in reportPointerArithMisuse()
220 ProgramStateRef State = C.getState(); in checkPostStmt()
249 ProgramStateRef State = C.getState(); in checkPostStmt()
264 ProgramStateRef State = C.getState(); in checkPostStmt()
282 ProgramStateRef State = C.getState(); in checkPreStmt()
326 ProgramStateRef State = C.getState(); in checkPreStmt()
H A DObjCSelfInitChecker.cpp115 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()
273 ProgramStateRef state = C.getState(); in checkPostCall()
310 ProgramStateRef state = C.getState(); in checkLocation()
330 ProgramStateRef State = C.getState(); in checkBind()
H A DExprInspectionChecker.cpp106 ProgramStateRef State = N->getState(); in getArgumentValueString()
232 ProgramStateRef State = C.getState(); in analyzerGetExtent()
240 C.getState()->dump(); in analyzerPrintState()
252 ProgramStateRef State = C.getState(); in analyzerWarnOnDeadSymbol()
259 ProgramStateRef State = C.getState(); in checkDeadSymbols()
330 ProgramStateRef State = C.getState(); in analyzerDenote()
332 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E)); in analyzerDenote()
399 SymbolExpressor V(C.getState()); in analyzerExpress()
H A DNoReturnFunctionChecker.cpp85 C.generateSink(C.getState(), C.getPredecessor()); in checkPostCall()
94 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
140 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
H A DGenericTaintChecker.cpp331 ProgramStateRef State = C.getState(); in propagateFromPre()
364 if (State != C.getState()) { in propagateFromPre()
433 ProgramStateRef State = C.getState(); in getPointedToSVal()
459 ProgramStateRef State = C.getState(); in process()
529 ProgramStateRef State = C.getState(); in preFscanf()
546 ProgramStateRef State = C.getState(); in postSocket()
562 ProgramStateRef State = C.getState(); in postScanf()
580 return C.getState()->addTaint(CE, C.getLocationContext()); in postRetTaint()
584 ProgramStateRef State = C.getState(); in isStdin()
648 ProgramStateRef State = C.getState(); in generateReportIfTainted()
H A DUndefResultChecker.cpp39 ProgramStateRef state = C.getState(); in isArrayIndexOutOfBounds()
69 ProgramStateRef State = C.getState(); in isLeftShiftResultUnrepresentable()
139 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); in checkPostStmt()
156 ProgramStateRef State = C.getState(); in checkPostStmt()
H A DMacOSKeychainAPIChecker.cpp208 ProgramStateRef State = C.getState(); in getAsPointeeSymbol()
226 ProgramStateRef State = C.getState(); in generateDeallocatorMismatchReport()
250 ProgramStateRef State = C.getState(); in checkPreStmt()
401 ProgramStateRef State = C.getState(); in checkPostStmt()
455 if (!N->getState()->get<AllocatedData>(Sym)) in getAllocationNode()
540 ProgramStateRef State = C.getState(); in checkDeadSymbols()
567 ExplodedNode *N = C.generateNonFatalErrorNode(C.getState(), &Tag); in checkDeadSymbols()
620 const AllocationState *AS = N->getState()->get<AllocatedData>(Sym); in VisitNode()
624 N->getFirstPred()->getState()->get<AllocatedData>(Sym); in VisitNode()
H A DInnerPointerChecker.cpp197 ProgramStateRef State = C.getState(); in checkPostCall()
237 ProgramStateRef State = C.getState(); in checkDeadSymbols()
286 if (!isSymbolTracked(N->getState(), PtrToBuf) || in VisitNode()
287 isSymbolTracked(N->getFirstPred()->getState(), PtrToBuf)) in VisitNode()
295 allocation_state::getContainerObjRegion(N->getState(), PtrToBuf); in VisitNode()
H A DTestAfterDivZeroChecker.cpp142 return !CM.assume(C.getState(), *DSV, true); in isZero()
150 ProgramStateRef State = C.getState(); in setDivZeroMap()
163 return C.getState()->contains<DivZeroMap>(ZS); in hasDivZeroMap()
167 if (ExplodedNode *N = C.generateErrorNode(C.getState())) { in reportBug()
184 ProgramStateRef State = C.getState(); in checkEndFunction()
H A DTrustNonnullChecker.cpp87 ProgramStateRef State = C.getState(); in checkPostCall()
102 ProgramStateRef State = C.getState(); in checkPostObjCMessage()
135 ProgramStateRef State = C.getState(); in checkDeadSymbols()
189 ConditionTruthVal TV = C.getState()->isNonNull(Receiver); in isNonNullPtr()
H A DChrootChecker.cpp88 ProgramStateRef state = C.getState(); in Chroot()
98 ProgramStateRef state = C.getState(); in Chdir()
140 void *const* k = C.getState()->FindGDM(ChrootChecker::getTag()); in checkPreStmt()
H A DDynamicTypePropagation.cpp117 ProgramStateRef State = C.getState(); in checkDeadSymbols()
147 ProgramStateRef State = C.getState(); in recordFixedType()
206 ProgramStateRef State = C.getState(); in checkPostCall()
310 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), in checkPostStmt()
362 QualType OldDTy = getDynamicTypeInfo(C.getState(), ToR).getType(); in getBetterObjCType()
542 ProgramStateRef State = C.getState(); in checkPostStmt()
714 ProgramStateRef State = C.getState(); in checkPreObjCMessage()
831 ProgramStateRef State = C.getState(); in checkPostObjCMessage()
936 ProgramStateRef state = N->getState(); in VisitNode()
937 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp40 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, in allRegionsUsedByWait()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h52 assert(Pred->getState() && in Eng()
72 const ProgramStateRef &getState() const { return Pred->getState(); } in getState() function
167 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
188 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
289 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp25 ProgramStateRef state = Pred->getState(); in VisitLvalObjCIvarRefExpr()
54 ProgramStateRef state = Pred->getState(); in populateObjCForDestinationSet()
117 ProgramStateRef state = Pred->getState(); in VisitObjCForCollectionStmt()
156 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); in VisitObjCMessage()
193 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
248 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
267 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
H A DExprEngine.cpp780 ProgramStateRef State = Pred->getState(); in ProcessInitializer()
846 ProgramStateRef State = I->getState(); in ProcessInitializer()
906 ProgramStateRef state = Pred->getState(); in ProcessAutomaticObjDtor()
937 ProgramStateRef State = Pred->getState(); in ProcessDeleteDtor()
1865 if (NewState != Pred->getState()) { in processCFGBlockEntrance()
1873 if(isUnrolledState(Pred->getState())) in processCFGBlockEntrance()
2245 if (State != Pred->getState()) { in processEndOfFunction()
2261 StateMgr.EndPath(Pred->getState()); in processEndOfFunction()
2811 state = I->getState(); in evalLoad()
2842 if (Pred->getState() != state) { in evalLocation()
[all …]
H A DBugReporterVisitors.cpp244 ProgramStateRef State = N->getState(); in wasRegionOfInterestModifiedAt()
316 ProgramStateRef State = N->getState(); in VisitNode()
502 ProgramStateRef State = N->getState(); in findModifyingFrames()
725 ProgramStateRef State = N->getState(); in matchAssignment()
865 ProgramStateRef State = N->getState(); in visitNodeInitial()
974 ProgramStateRef State = N->getState(); in visitNodeMaybeUnsuppress()
1214 if (Succ->getState()->getSVal(R) != V) in VisitNode()
1724 ProgramStateRef state = N->getState(); in getNilReceiver()
2323 ProgramStateRef State = N->getState(); in VisitNode()
2397 const auto &State = Succ->getState(); in VisitNode()
[all …]
H A DExprEngineC.cpp57 ProgramStateRef state = (*it)->getState(); in VisitBinaryOperator()
136 state = (*I)->getState(); in VisitBinaryOperator()
204 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
543 ProgramStateRef State = Pred->getState(); in VisitCompoundLiteralExpr()
583 ProgramStateRef state = N->getState(); in VisitDeclStmt()
633 ProgramStateRef state = Pred->getState(); in VisitLogicalExpr()
688 X = evalBinOp(N->getState(), BO_NE, in VisitLogicalExpr()
701 ProgramStateRef state = Pred->getState(); in VisitInitListExpr()
753 ProgramStateRef state = Pred->getState(); in VisitGuardedExpr()
770 SrcState = N->getState(); in VisitGuardedExpr()
[all …]
H A DExprEngineCXX.cpp32 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
79 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
89 ProgramStateRef State = (*I)->getState(); in performTrivialCopy()
393 ProgramStateRef State = Pred->getState(); in VisitCXXConstructExpr()
484 if (State != Pred->getState()) { in VisitCXXConstructExpr()
608 ProgramStateRef State = Pred->getState(); in VisitCXXDestructor()
640 ProgramStateRef State = Pred->getState(); in VisitCXXNewAllocatorCall()
675 ProgramStateRef State = I->getState(); in VisitCXXNewAllocatorCall()
721 ProgramStateRef State = Pred->getState(); in VisitCXXNewExpr()
819 ProgramStateRef state = Pred->getState(); in VisitCXXDeleteExpr()
[all …]
H A DCallEvent.cpp71 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
287 ProgramStateRef Result = (Orig ? Orig : getState()); in invalidateRegions()
362 CD.II = &getState()->getStateManager().getContext().Idents.get( in isCalled()
425 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
553 SubEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
581 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
726 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getRuntimeDefinition()
778 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
853 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
957 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); in getSelfSVal()
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp217 ProgramStateRef state = C.getState(); in checkPostStmt()
265 ProgramStateRef state = C.getState(); in checkPostStmt()
286 ProgramStateRef state = C.getState(); in processObjCLiterals()
329 ProgramStateRef State = Pred->getState(); in checkPostStmt()
346 ProgramStateRef State = C.getState(); in checkPostStmt()
495 ProgramStateRef state = C.getState(); in processSummaryOfInlined()
623 ProgramStateRef state = C.getState(); in checkSummary()
911 ProgramStateRef state = C.getState(); in evalCall()
990 ProgramStateRef state = C.getState(); in processReturn()
1155 ProgramStateRef state = C.getState(); in checkBind()
[all …]

1234