Lines Matching refs:getState

132   ProgramStateRef State = N->getState();  in getArgumentValueString()
278   ProgramStateRef State = C.getState();  in analyzerGetExtent()
292       getDynamicExtent(C.getState(), MR, C.getSValBuilder());  in analyzerDumpExtent()
317       getDynamicElementCount(C.getState(), MR, C.getSValBuilder(), ElementTy);  in analyzerDumpElementCount()
327   C.getState()->dump();  in analyzerPrintState()
341   ProgramStateRef State = C.getState();  in analyzerWarnOnDeadSymbol()
348   ProgramStateRef State = C.getState();  in checkDeadSymbols()
419   ProgramStateRef State = C.getState();  in analyzerDenote()
421   C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E));  in analyzerDenote()
487   SymbolExpressor V(C.getState());  in analyzerExpress()
504       taint::isTainted(C.getState(), CE->getArg(0), C.getLocationContext());  in analyzerIsTainted()