Lines Matching refs:getState

140   ProgramStateRef State = N->getState();  in getArgumentValueString()
271   C.getConstraintManager().printValue(Out, C.getState(), Sym);  in printHelper()
328   ProgramStateRef State = C.getState();  in analyzerGetExtent()
341   ProgramStateRef State = C.getState();  in analyzerDumpExtent()
362       C.getState(), C.getSVal(getArgExpr(CE, C)), ElementTy);  in analyzerDumpElementCount()
368   C.getState()->dump();  in analyzerPrintState()
382   ProgramStateRef State = C.getState();  in analyzerWarnOnDeadSymbol()
389   ProgramStateRef State = C.getState();  in checkDeadSymbols()
459   ProgramStateRef State = C.getState();  in analyzerDenote()
461   C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E));  in analyzerDenote()
537   SymbolExpressor V(C.getState());  in analyzerExpress()
554       taint::isTainted(C.getState(), CE->getArg(0), C.getLocationContext());  in analyzerIsTainted()