Lines Matching defs:state
28 // enum value that represent the jail state
35 // The state transition:
79 ProgramStateRef state = C.getState();
80 ProgramStateManager &Mgr = state->getStateManager();
84 state = Mgr.addGDM(state, ChrootChecker::getTag(), (void*) ROOT_CHANGED);
85 C.addTransition(state);
89 ProgramStateRef state = C.getState();
90 ProgramStateManager &Mgr = state->getStateManager();
92 // If there are no jail state in the GDM, just return.
93 const void *k = state->FindGDM(ChrootChecker::getTag());
106 state = Mgr.addGDM(state, ChrootChecker::getTag(),
111 C.addTransition(state);
114 // Check the jail state before any function call except chroot and chdir().
121 // If jail state is ROOT_CHANGED, generate BugReport.