diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-06-26 23:59:48 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-06-26 23:59:48 +0000 |
| commit | cf1ab190863ee83c38a683158f2ce897bfb8e4be (patch) | |
| tree | 0a7f565f56558e5a9b433bca57d611242345757d /clang/lib/Analysis/GRSimpleVals.cpp | |
| parent | 3b2e26947541661369011e903c7df8e35cbc6960 (diff) | |
| download | bcm5719-llvm-cf1ab190863ee83c38a683158f2ce897bfb8e4be.tar.gz bcm5719-llvm-cf1ab190863ee83c38a683158f2ce897bfb8e4be.zip | |
Added a simple static analysis check to look for improper uses of CFCreateNumber.
llvm-svn: 52799
Diffstat (limited to 'clang/lib/Analysis/GRSimpleVals.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRSimpleVals.cpp | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/clang/lib/Analysis/GRSimpleVals.cpp b/clang/lib/Analysis/GRSimpleVals.cpp index 09332654934..c208f0c7b55 100644 --- a/clang/lib/Analysis/GRSimpleVals.cpp +++ b/clang/lib/Analysis/GRSimpleVals.cpp @@ -354,11 +354,15 @@ void GRSimpleVals::RegisterChecks(GRExprEngine& Eng) { Eng.Register(MakeDeadStoresChecker()); // Add extra checkers. + ASTContext& Ctx = Eng.getContext(); + ValueStateManager* VMgr = &Eng.getStateManager(); - GRSimpleAPICheck* FoundationCheck = - CreateBasicObjCFoundationChecks(Eng.getContext(), &Eng.getStateManager()); + GRSimpleAPICheck* Check = CreateBasicObjCFoundationChecks(Ctx, VMgr); + Eng.AddObjCMessageExprCheck(Check); + + Check = CreateAuditCFNumberCreate(Ctx, VMgr); + Eng.AddCallCheck(Check); - Eng.AddObjCMessageExprCheck(FoundationCheck); } //===----------------------------------------------------------------------===// |
