Lines Matching full:state
28 // enum value that represent the jail state
35 // The state transition:
65 const GRState *state = C.getState();
67 SVal L = state->getSVal(Callee);
91 const GRState *state = C.getState();
92 GRStateManager &Mgr = state->getStateManager();
96 state = Mgr.addGDM(state, ChrootChecker::getTag(), (void*) ROOT_CHANGED);
97 C.addTransition(state);
101 const GRState *state = C.getState();
102 GRStateManager &Mgr = state->getStateManager();
104 // If there are no jail state in the GDM, just return.
105 const void* k = state->FindGDM(ChrootChecker::getTag());
111 SVal ArgVal = state->getSVal(ArgExpr);
118 state = Mgr.addGDM(state, ChrootChecker::getTag(),
123 C.addTransition(state);
126 // Check the jail state before any function call except chroot and chdir().
128 const GRState *state = C.getState();
130 SVal L = state->getSVal(Callee);
145 // If jail state is ROOT_CHANGED, generate BugReport.
146 void* const* k = state->FindGDM(ChrootChecker::getTag());
