Lines Matching refs:getState

140   ProgramStateRef State = N->getState();  in getArgumentValueString()
275   C.getConstraintManager().printValue(Out, C.getState(), Sym);  in printHelper()
332   ProgramStateRef State = C.getState();  in analyzerGetExtent()
346       getDynamicExtent(C.getState(), MR, C.getSValBuilder());  in analyzerDumpExtent()
366       getDynamicElementCount(C.getState(), MR, C.getSValBuilder(), ElementTy);  in analyzerDumpElementCount()
372   C.getState()->dump();  in analyzerPrintState()
386   ProgramStateRef State = C.getState();  in analyzerWarnOnDeadSymbol()
393   ProgramStateRef State = C.getState();  in checkDeadSymbols()
464   ProgramStateRef State = C.getState();  in analyzerDenote()
466   C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E));  in analyzerDenote()
542   SymbolExpressor V(C.getState());  in analyzerExpress()
559       taint::isTainted(C.getState(), CE->getArg(0), C.getLocationContext());  in analyzerIsTainted()