Hook up Malloc checker.
llvm-svn: 87093
diff --git a/clang/lib/Analysis/GRExprEngineExperimentalChecks.cpp b/clang/lib/Analysis/GRExprEngineExperimentalChecks.cpp
index e50dbeb..75f9789 100644
--- a/clang/lib/Analysis/GRExprEngineExperimentalChecks.cpp
+++ b/clang/lib/Analysis/GRExprEngineExperimentalChecks.cpp
@@ -19,5 +19,6 @@
void clang::RegisterExperimentalChecks(GRExprEngine &Eng) {
RegisterPthreadLockChecker(Eng);
+ RegisterMallocChecker(Eng);
}
diff --git a/clang/lib/Analysis/GRExprEngineExperimentalChecks.h b/clang/lib/Analysis/GRExprEngineExperimentalChecks.h
index bb9af3a..9a9da32 100644
--- a/clang/lib/Analysis/GRExprEngineExperimentalChecks.h
+++ b/clang/lib/Analysis/GRExprEngineExperimentalChecks.h
@@ -20,6 +20,7 @@
class GRExprEngine;
void RegisterPthreadLockChecker(GRExprEngine &Eng);
+void RegisterMallocChecker(GRExprEngine &Eng);
} // end clang namespace
#endif
diff --git a/clang/lib/Analysis/MallocChecker.cpp b/clang/lib/Analysis/MallocChecker.cpp
index cbc115f..f007aa6 100644
--- a/clang/lib/Analysis/MallocChecker.cpp
+++ b/clang/lib/Analysis/MallocChecker.cpp
@@ -12,6 +12,7 @@
//
//===----------------------------------------------------------------------===//
+#include "GRExprEngineExperimentalChecks.h"
#include "clang/Analysis/PathSensitive/CheckerVisitor.h"
#include "clang/Analysis/PathSensitive/GRState.h"
#include "clang/Analysis/PathSensitive/GRStateTrait.h"
@@ -33,8 +34,11 @@
IdentifierInfo *II_free;
public:
+ MallocChecker() : BT_DoubleFree(0) {}
static void *getTag();
void PostVisitCallExpr(CheckerContext &C, const CallExpr *CE);
+ void EvalDeadSymbols(CheckerContext &C,const Stmt *S,SymbolReaper &SymReaper);
+private:
void MallocMem(CheckerContext &C, const CallExpr *CE);
void FreeMem(CheckerContext &C, const CallExpr *CE);
};
@@ -59,6 +63,10 @@
};
}
+void clang::RegisterMallocChecker(GRExprEngine &Eng) {
+ Eng.registerCheck(new MallocChecker());
+}
+
void *MallocChecker::getTag() {
static int x;
return &x;
@@ -124,3 +132,7 @@
const GRState *FreedState = state->set<RegionState>(Sym, Released);
C.addTransition(C.GenerateNode(CE, FreedState));
}
+
+void MallocChecker::EvalDeadSymbols(CheckerContext &C, const Stmt *S,
+ SymbolReaper &SymReaper) {
+}