Lines Matching refs:CheckerContext
23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
37 void checkPostStmt(const DeclRefExpr *DRE, CheckerContext &C) const;
39 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
54 bool checkPre(const CallExpr *CE, CheckerContext &C) const;
57 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const;
60 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const;
63 void addSourcesPost(const CallExpr *CE, CheckerContext &C) const;
67 static bool isStdin(const Expr *E, CheckerContext &C);
71 static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg);
75 CheckerContext &C) const;
76 ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const;
77 ProgramStateRef postSocket(const CallExpr *CE, CheckerContext &C) const;
78 ProgramStateRef postRetTaint(const CallExpr *CE, CheckerContext &C) const;
81 ProgramStateRef preFscanf(const CallExpr *CE, CheckerContext &C) const;
86 CheckerContext &C) const;
93 CheckerContext &C) const;
99 CheckerContext &C) const;
103 CheckerContext &C) const;
147 CheckerContext &C);
161 CheckerContext &C) {
169 ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const;
202 CheckerContext &C) {
277 CheckerContext &C) const {
287 CheckerContext &C) const {
294 CheckerContext &C) const {
329 CheckerContext &C) const {
370 CheckerContext &C) const {
405 bool GenericTaintChecker::checkPre(const CallExpr *CE, CheckerContext &C) const{
427 SymbolRef GenericTaintChecker::getPointedToSymbol(CheckerContext &C,
447 CheckerContext &C) const {
517 CheckerContext &C) const {
536 CheckerContext &C) const {
552 CheckerContext &C) const {
570 CheckerContext &C) const {
574 bool GenericTaintChecker::isStdin(const Expr *E, CheckerContext &C) {
608 const CheckerContext &C,
637 CheckerContext &C) const {
658 CheckerContext &C) const{
673 CheckerContext &C) const {
704 CheckerContext &C) const {