StaticAnalyzer/Checkers/CheckSecuritySyntaxOnly.cpp

62 class WalkAST : public StmtVisitor<WalkAST> {
72   WalkAST(BugReporter &br, AnalysisDeclContext* ac,
89   typedef void (WalkAST::*FnCheck)(const CallExpr *, const FunctionDecl *);
110 void WalkAST::VisitChildren(Stmt *S) {
116 void WalkAST::VisitCallExpr(CallExpr *CE) {
133     .Case("gets", &WalkAST::checkCall_gets)
134     .Case("getpw", &WalkAST::checkCall_getpw)
135     .Case("mktemp", &WalkAST::checkCall_mktemp)
136     .Case("mkstemp", &WalkAST::checkCall_mkstemp)
137     .Case("mkdtemp", &WalkAST::checkCall_mkstemp)
138     .Case("mkstemps", &WalkAST::checkCall_mkstemp)
139     .Cases("strcpy", "__strcpy_chk", &WalkAST::checkCall_strcpy)
140     .Cases("strcat", "__strcat_chk", &WalkAST::checkCall_strcat)
141     .Case("drand48", &WalkAST::checkCall_rand)
142     .Case("erand48", &WalkAST::checkCall_rand)
143     .Case("jrand48", &WalkAST::checkCall_rand)
144     .Case("lrand48", &WalkAST::checkCall_rand)
145     .Case("mrand48", &WalkAST::checkCall_rand)
146     .Case("nrand48", &WalkAST::checkCall_rand)
147     .Case("lcong48", &WalkAST::checkCall_rand)
148     .Case("rand", &WalkAST::checkCall_rand)
149     .Case("rand_r", &WalkAST::checkCall_rand)
150     .Case("random", &WalkAST::checkCall_random)
151     .Case("vfork", &WalkAST::checkCall_vfork)
163 void WalkAST::VisitCompoundStmt(CompoundStmt *S) {
172 void WalkAST::VisitForStmt(ForStmt *FS) {
219 void WalkAST::checkLoopConditionForFloat(const ForStmt *FS) {
306 void WalkAST::checkCall_gets(const CallExpr *CE, const FunctionDecl *FD) {
342 void WalkAST::checkCall_getpw(const CallExpr *CE, const FunctionDecl *FD) {
382 void WalkAST::checkCall_mktemp(const CallExpr *CE, const FunctionDecl *FD) {
424 void WalkAST::checkCall_mkstemp(const CallExpr *CE, const FunctionDecl *FD) {
507 void WalkAST::checkCall_strcpy(const CallExpr *CE, const FunctionDecl *FD) {
534 void WalkAST::checkCall_strcat(const CallExpr *CE, const FunctionDecl *FD) {
558 bool WalkAST::checkCall_strCommon(const CallExpr *CE, const FunctionDecl *FD) {
589 void WalkAST::checkCall_rand(const CallExpr *CE, const FunctionDecl *FD) {
632 void WalkAST::checkCall_random(const CallExpr *CE, const FunctionDecl *FD) {
660 void WalkAST::checkCall_vfork(const CallExpr *CE, const FunctionDecl *FD) {
683 void WalkAST::checkUncheckedReturnValue(CallExpr *CE) {
754     WalkAST walker(BR, mgr.getAnalysisDeclContext(D), filter);