Lines Matching refs:State
106 void printState(raw_ostream &Out, ProgramStateRef State, const char *NL,
267 ProgramStateRef State) { in getNullConstraint() argument
268 ConditionTruthVal Nullness = State->isNull(Val); in getNullConstraint()
300 ProgramStateRef State = N->getState(); in VisitNode() local
303 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region); in VisitNode()
335 static bool checkValueAtLValForInvariantViolation(ProgramStateRef State, in checkValueAtLValForInvariantViolation() argument
350 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>(); in checkValueAtLValForInvariantViolation()
354 if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull) in checkValueAtLValForInvariantViolation()
362 ProgramStateRef State, in checkParamsForPreconditionViolation() argument
368 SVal LV = State->getLValue(ParamDecl, LocCtxt); in checkParamsForPreconditionViolation()
369 if (checkValueAtLValForInvariantViolation(State, LV, in checkParamsForPreconditionViolation()
378 checkSelfIvarsForInvariantViolation(ProgramStateRef State, in checkSelfIvarsForInvariantViolation() argument
388 SVal SelfVal = State->getSVal(State->getRegion(SelfDecl, LocCtxt)); in checkSelfIvarsForInvariantViolation()
400 SVal LV = State->getLValue(IvarDecl, SelfVal); in checkSelfIvarsForInvariantViolation()
401 if (checkValueAtLValForInvariantViolation(State, LV, IvarDecl->getType())) { in checkSelfIvarsForInvariantViolation()
408 static bool checkInvariantViolation(ProgramStateRef State, ExplodedNode *N, in checkInvariantViolation() argument
410 if (State->get<InvariantViolated>()) in checkInvariantViolation()
428 if (checkParamsForPreconditionViolation(Params, State, LocCtxt) || in checkInvariantViolation()
429 checkSelfIvarsForInvariantViolation(State, LocCtxt)) { in checkInvariantViolation()
431 C.addTransition(State->set<InvariantViolated>(true), N); in checkInvariantViolation()
456 ProgramStateRef State = C.getState(); in checkDeadSymbols() local
457 NullabilityMapTy Nullabilities = State->get<NullabilityMap>(); in checkDeadSymbols()
464 State = State->remove<NullabilityMap>(I->first); in checkDeadSymbols()
471 if (checkInvariantViolation(State, C.getPredecessor(), C)) in checkDeadSymbols()
473 C.addTransition(State); in checkDeadSymbols()
488 ProgramStateRef State = Event.SinkNode->getState(); in checkEvent() local
490 State->get<NullabilityMap>(Region); in checkEvent()
541 ProgramStateRef State = Context.getState(); in checkLocation() local
543 auto StoredVal = State->getSVal(Region).getAs<loc::MemRegionVal>(); in checkLocation()
553 if (ProgramStateRef NewState = State->assume(*StoredVal, true)) { in checkLocation()
578 ProgramStateRef State = C.getState(); in checkPreStmt() local
579 if (State->get<InvariantViolated>()) in checkPreStmt()
608 NullConstraint Nullness = getNullConstraint(*RetSVal, State); in checkPreStmt()
626 ExplodedNode *N = C.generateErrorNode(State, &Tag); in checkPreStmt()
644 State = State->set<InvariantViolated>(true); in checkPreStmt()
645 C.addTransition(State); in checkPreStmt()
654 State->get<NullabilityMap>(Region); in checkPreStmt()
662 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
675 State = State->set<NullabilityMap>(Region, in checkPreStmt()
678 C.addTransition(State); in checkPreStmt()
689 ProgramStateRef State = C.getState(); in checkPreCall() local
690 if (State->get<InvariantViolated>()) in checkPreCall()
693 ProgramStateRef OrigState = State; in checkPreCall()
712 NullConstraint Nullness = getNullConstraint(*ArgSVal, State); in checkPreCall()
726 ExplodedNode *N = C.generateErrorNode(State); in checkPreCall()
746 State->get<NullabilityMap>(Region); in checkPreCall()
756 ExplodedNode *N = C.addTransition(State); in checkPreCall()
768 ExplodedNode *N = C.addTransition(State); in checkPreCall()
778 if (State != OrigState) in checkPreCall()
779 C.addTransition(State); in checkPreCall()
797 ProgramStateRef State = C.getState(); in checkPostCall() local
798 if (State->get<InvariantViolated>()) in checkPostCall()
810 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostCall()
811 C.addTransition(State); in checkPostCall()
816 State->get<NullabilityMap>(Region); in checkPostCall()
820 State = State->set<NullabilityMap>(Region, Nullability::Nullable); in checkPostCall()
821 C.addTransition(State); in checkPostCall()
826 ProgramStateRef State) { in getReceiverNullability() argument
837 NullConstraint Nullness = getNullConstraint(*DefOrUnknown, State); in getReceiverNullability()
847 State->get<NullabilityMap>(SelfRegion); in getReceiverNullability()
866 ProgramStateRef State = C.getState(); in checkPostObjCMessage() local
867 if (State->get<InvariantViolated>()) in checkPostObjCMessage()
889 State = in checkPostObjCMessage()
890 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
891 C.addTransition(State); in checkPostObjCMessage()
899 State = in checkPostObjCMessage()
900 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
901 C.addTransition(State); in checkPostObjCMessage()
912 State = State->set<NullabilityMap>(ReturnRegion, in checkPostObjCMessage()
914 C.addTransition(State); in checkPostObjCMessage()
922 Nullability SelfNullability = getReceiverNullability(M, State); in checkPostObjCMessage()
925 State->get<NullabilityMap>(ReturnRegion); in checkPostObjCMessage()
940 State = State->set<NullabilityMap>( in checkPostObjCMessage()
942 C.addTransition(State); in checkPostObjCMessage()
962 State = State->set<NullabilityMap>( in checkPostObjCMessage()
964 C.addTransition(State); in checkPostObjCMessage()
981 ProgramStateRef State = C.getState(); in checkPostStmt() local
982 if (State->get<InvariantViolated>()) in checkPostStmt()
999 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); in checkPostStmt()
1001 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
1002 C.addTransition(State); in checkPostStmt()
1008 State->get<NullabilityMap>(Region); in checkPostStmt()
1013 State = State->set<NullabilityMap>(Region, in checkPostStmt()
1015 C.addTransition(State); in checkPostStmt()
1021 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
1022 C.addTransition(State); in checkPostStmt()
1105 ProgramStateRef State = C.getState(); in checkBind() local
1106 if (State->get<InvariantViolated>()) in checkBind()
1113 NullConstraint RhsNullness = getNullConstraint(*ValDefOrUnknown, State); in checkBind()
1137 ExplodedNode *N = C.generateErrorNode(State, &Tag); in checkBind()
1158 State = State->set<InvariantViolated>(true); in checkBind()
1159 C.addTransition(State); in checkBind()
1171 State->get<NullabilityMap>(ValueRegion); in checkBind()
1180 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkBind()
1195 State = State->set<NullabilityMap>( in checkBind()
1197 C.addTransition(State); in checkBind()
1203 State = State->set<NullabilityMap>( in checkBind()
1205 C.addTransition(State); in checkBind()
1209 void NullabilityChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState() argument
1212 NullabilityMapTy B = State->get<NullabilityMap>(); in printState()
1214 if (State->get<InvariantViolated>()) in printState()
1221 if (!State->get<InvariantViolated>()) in printState()