Lines Matching refs:getState

138   ProgramStateRef State = N->getState();  in getArgumentValueString()
272   C.getConstraintManager().printValue(Out, C.getState(), Sym);  in printHelper()
329   ProgramStateRef State = C.getState();  in analyzerGetExtent()
343       getDynamicExtent(C.getState(), MR, C.getSValBuilder());  in analyzerDumpExtent()
364       getDynamicElementCount(C.getState(), MR, C.getSValBuilder(), ElementTy);  in analyzerDumpElementCount()
370   C.getState()->dump();  in analyzerPrintState()
384   ProgramStateRef State = C.getState();  in analyzerWarnOnDeadSymbol()
391   ProgramStateRef State = C.getState();  in checkDeadSymbols()
462   ProgramStateRef State = C.getState();  in analyzerDenote()
464   C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E));  in analyzerDenote()
538   SymbolExpressor V(C.getState());  in analyzerExpress()
555       taint::isTainted(C.getState(), CE->getArg(0), C.getLocationContext());  in analyzerIsTainted()