Jordy Rose | 77a33a7 | 2011-08-17 01:30:59 +0000 | [diff] [blame] | 1 | #include "clang/StaticAnalyzer/Core/Checker.h" |
| 2 | #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" |
| 3 | #include "clang/StaticAnalyzer/Core/CheckerRegistry.h" |
| 4 | #include "clang/StaticAnalyzer/Core/BugReporter/BugType.h" |
| 5 | |
| 6 | using namespace clang; |
| 7 | using namespace ento; |
| 8 | |
| 9 | namespace { |
| 10 | class MainCallChecker : public Checker < check::PreStmt<CallExpr> > { |
| 11 | mutable llvm::OwningPtr<BugType> BT; |
| 12 | |
| 13 | public: |
| 14 | void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; |
| 15 | }; |
| 16 | } // end anonymous namespace |
| 17 | |
| 18 | void MainCallChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const { |
| 19 | const ProgramState *state = C.getState(); |
| 20 | const Expr *Callee = CE->getCallee(); |
| 21 | const FunctionDecl *FD = state->getSVal(Callee).getAsFunctionDecl(); |
| 22 | |
| 23 | if (!FD) |
| 24 | return; |
| 25 | |
| 26 | // Get the name of the callee. |
| 27 | IdentifierInfo *II = FD->getIdentifier(); |
| 28 | if (!II) // if no identifier, not a simple C function |
| 29 | return; |
| 30 | |
| 31 | if (II->isStr("main")) { |
| 32 | ExplodedNode *N = C.generateSink(); |
| 33 | if (!N) |
| 34 | return; |
| 35 | |
| 36 | if (!BT) |
Jordy Rose | 26fb4cb | 2011-08-17 03:23:51 +0000 | [diff] [blame] | 37 | BT.reset(new BugType("call to main", "example analyzer plugin")); |
Jordy Rose | 77a33a7 | 2011-08-17 01:30:59 +0000 | [diff] [blame] | 38 | |
Anna Zaks | e172e8b | 2011-08-17 23:00:25 +0000 | [diff] [blame] | 39 | BugReport *report = new BugReport(*BT, BT->getName(), N); |
Jordy Rose | 77a33a7 | 2011-08-17 01:30:59 +0000 | [diff] [blame] | 40 | report->addRange(Callee->getSourceRange()); |
| 41 | C.EmitReport(report); |
| 42 | } |
| 43 | } |
| 44 | |
| 45 | // Register plugin! |
| 46 | extern "C" |
| 47 | void clang_registerCheckers (CheckerRegistry ®istry) { |
| 48 | registry.addChecker<MainCallChecker>("example.MainCallChecker", "Disallows calls to functions called main"); |
| 49 | } |
| 50 | |
| 51 | extern "C" |
| 52 | const char clang_analyzerAPIVersionString[] = CLANG_ANALYZER_API_VERSION_STRING; |