Lines Matching refs:State
106 void printState(raw_ostream &Out, ProgramStateRef State, const char *NL,
264 ProgramStateRef State) { in getNullConstraint() argument
265 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint()
298 ProgramStateRef State = N->getState(); in VisitNode() local
301 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region); in VisitNode()
334 static bool checkValueAtLValForInvariantViolation(ProgramStateRef State, in checkValueAtLValForInvariantViolation() argument
349 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
353 if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull) in checkValueAtLValForInvariantViolation()
361 ProgramStateRef State, in checkParamsForPreconditionViolation() argument
367 SVal LV = State->getLValue(ParamDecl, LocCtxt); in checkParamsForPreconditionViolation()
368 if (checkValueAtLValForInvariantViolation(State, LV, in checkParamsForPreconditionViolation()
377 checkSelfIvarsForInvariantViolation(ProgramStateRef State, in checkSelfIvarsForInvariantViolation() argument
387 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation()
399 SVal LV = State->getLValue(IvarDecl, SelfVal); in checkSelfIvarsForInvariantViolation()
400 if (checkValueAtLValForInvariantViolation(State, LV, IvarDecl->getType())) { in checkSelfIvarsForInvariantViolation()
407 static bool checkInvariantViolation(ProgramStateRef State, ExplodedNode *N, in checkInvariantViolation() argument
409 if (State->get<InvariantViolated>()) in checkInvariantViolation()
427 if (checkParamsForPreconditionViolation(Params, State, LocCtxt) || in checkInvariantViolation()
428 checkSelfIvarsForInvariantViolation(State, LocCtxt)) { in checkInvariantViolation()
430 C.addTransition(State->set<InvariantViolated>(true), N); in checkInvariantViolation()
454 ProgramStateRef State = C.getState(); in checkDeadSymbols() local
455 NullabilityMapTy Nullabilities = State->get<NullabilityMap>(); in checkDeadSymbols()
462 State = State->remove<NullabilityMap>(I->first); in checkDeadSymbols()
469 if (checkInvariantViolation(State, C.getPredecessor(), C)) in checkDeadSymbols()
471 C.addTransition(State); in checkDeadSymbols()
486 ProgramStateRef State = Event.SinkNode->getState(); in checkEvent() local
488 State->get<NullabilityMap>(Region); in checkEvent()
534 ProgramStateRef State = C.getState(); in checkPreStmt() local
535 if (State->get<InvariantViolated>()) in checkPreStmt()
564 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt()
584 ExplodedNode *N = C.generateErrorNode(State, &Tag); in checkPreStmt()
602 State = State->set<InvariantViolated>(true); in checkPreStmt()
603 C.addTransition(State); in checkPreStmt()
612 State->get<NullabilityMap>(Region); in checkPreStmt()
620 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
634 State = State->set<NullabilityMap>(Region, in checkPreStmt()
637 C.addTransition(State); in checkPreStmt()
648 ProgramStateRef State = C.getState(); in checkPreCall() local
649 if (State->get<InvariantViolated>()) in checkPreCall()
652 ProgramStateRef OrigState = State; in checkPreCall()
671 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()
684 ExplodedNode *N = C.generateErrorNode(State); in checkPreCall()
704 State->get<NullabilityMap>(Region); in checkPreCall()
714 ExplodedNode *N = C.addTransition(State); in checkPreCall()
726 ExplodedNode *N = C.addTransition(State); in checkPreCall()
737 State = State->set<NullabilityMap>( in checkPreCall()
740 if (State != OrigState) in checkPreCall()
741 C.addTransition(State); in checkPreCall()
759 ProgramStateRef State = C.getState(); in checkPostCall() local
760 if (State->get<InvariantViolated>()) in checkPostCall()
772 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostCall()
773 C.addTransition(State); in checkPostCall()
778 State->get<NullabilityMap>(Region); in checkPostCall()
782 State = State->set<NullabilityMap>(Region, Nullability::Nullable); in checkPostCall()
783 C.addTransition(State); in checkPostCall()
788 ProgramStateRef State) { in getReceiverNullability() argument
799 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State); in getReceiverNullability()
809 State->get<NullabilityMap>(SelfRegion); in getReceiverNullability()
828 ProgramStateRef State = C.getState(); in checkPostObjCMessage() local
829 if (State->get<InvariantViolated>()) in checkPostObjCMessage()
851 State = in checkPostObjCMessage()
852 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
853 C.addTransition(State); in checkPostObjCMessage()
861 State = in checkPostObjCMessage()
862 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
863 C.addTransition(State); in checkPostObjCMessage()
874 State = State->set<NullabilityMap>(ReturnRegion, in checkPostObjCMessage()
876 C.addTransition(State); in checkPostObjCMessage()
884 Nullability SelfNullability = getReceiverNullability(M, State); in checkPostObjCMessage()
887 State->get<NullabilityMap>(ReturnRegion); in checkPostObjCMessage()
902 State = State->set<NullabilityMap>( in checkPostObjCMessage()
904 C.addTransition(State); in checkPostObjCMessage()
924 State = State->set<NullabilityMap>( in checkPostObjCMessage()
926 C.addTransition(State); in checkPostObjCMessage()
943 ProgramStateRef State = C.getState(); in checkPostStmt() local
944 if (State->get<InvariantViolated>()) in checkPostStmt()
961 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); in checkPostStmt()
963 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
964 C.addTransition(State); in checkPostStmt()
970 State->get<NullabilityMap>(Region); in checkPostStmt()
975 State = State->set<NullabilityMap>(Region, in checkPostStmt()
977 C.addTransition(State); in checkPostStmt()
983 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
984 C.addTransition(State); in checkPostStmt()
1067 ProgramStateRef State = C.getState(); in checkBind() local
1068 if (State->get<InvariantViolated>()) in checkBind()
1075 NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State); in checkBind()
1100 ExplodedNode *N = C.generateErrorNode(State, &Tag); in checkBind()
1122 State = State->set<InvariantViolated>(true); in checkBind()
1123 C.addTransition(State); in checkBind()
1135 State->get<NullabilityMap>(ValueRegion); in checkBind()
1144 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkBind()
1159 State = State->set<NullabilityMap>( in checkBind()
1161 C.addTransition(State); in checkBind()
1167 State = State->set<NullabilityMap>( in checkBind()
1169 C.addTransition(State); in checkBind()
1173 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState() argument
1176 NullabilityMapTy B = State->get<NullabilityMap>(); in printState()
1178 if (State->get<InvariantViolated>()) in printState()
1185 if (!State->get<InvariantViolated>()) in printState()