Lines Matching refs:ProgramStateRef

75   typedef ProgramStateRef (GenericTaintChecker::*FnCheck)(
77   ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const;
78   ProgramStateRef postSocket(const CallExpr *CE, CheckerContext &C) const;
79   ProgramStateRef postRetTaint(const CallExpr *CE, CheckerContext &C) const;
82   ProgramStateRef preFscanf(const CallExpr *CE, CheckerContext &C) const;
158                                                   ProgramStateRef State,  in isTaintedOrPointsToTainted()
172     ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const;
297   ProgramStateRef State = nullptr;  in addSourcesPre()
331   ProgramStateRef State = C.getState();  in propagateFromPre()
399   ProgramStateRef State = nullptr;  in addSourcesPost()
433   ProgramStateRef State = C.getState();  in getPointedToSVal()
456 ProgramStateRef
459   ProgramStateRef State = C.getState();  in process()
526 ProgramStateRef GenericTaintChecker::preFscanf(const CallExpr *CE,  in preFscanf()
529   ProgramStateRef State = C.getState();  in preFscanf()
544 ProgramStateRef GenericTaintChecker::postSocket(const CallExpr *CE,  in postSocket()
546   ProgramStateRef State = C.getState();  in postSocket()
560 ProgramStateRef GenericTaintChecker::postScanf(const CallExpr *CE,  in postScanf()
562   ProgramStateRef State = C.getState();  in postScanf()
578 ProgramStateRef GenericTaintChecker::postRetTaint(const CallExpr *CE,  in postRetTaint()
584   ProgramStateRef State = C.getState();  in isStdin()
648   ProgramStateRef State = C.getState();  in generateReportIfTainted()