Lines Matching refs:state
28 // enum value that represent the jail state
35 // The state transition:
88 ProgramStateRef state = C.getState();
89 ProgramStateManager &Mgr = state->getStateManager();
93 state = Mgr.addGDM(state, ChrootChecker::getTag(), (void*) ROOT_CHANGED);
94 C.addTransition(state);
98 ProgramStateRef state = C.getState();
99 ProgramStateManager &Mgr = state->getStateManager();
101 // If there are no jail state in the GDM, just return.
102 const void *k = state->FindGDM(ChrootChecker::getTag());
108 SVal ArgVal = state->getSVal(ArgExpr, C.getLocationContext());
115 state = Mgr.addGDM(state, ChrootChecker::getTag(),
120 C.addTransition(state);
123 // Check the jail state before any function call except chroot and chdir().
139 // If jail state is ROOT_CHANGED, generate BugReport.
