reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
496 ProgramStateRef State = C.getState(); 508 State = addTaint(State, CE, C.getLocationContext()); 517 Optional<SVal> V = getPointedToSVal(C, Arg); 525 if (State != C.getState()) { 526 C.addTransition(State);