diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-12-23 02:42:43 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-12-23 02:42:43 +0000 |
| commit | e73571b9cccdf0e3e07ab551e0cea6356047458a (patch) | |
| tree | b7b609f2c8d30e10ae740396cf465c48190d0a78 /clang/lib/GR/Checkers/AnalysisConsumer.cpp | |
| parent | 0dfe4b7a46d6575ee0b67ce91a70fc257167a82a (diff) | |
| download | bcm5719-llvm-e73571b9cccdf0e3e07ab551e0cea6356047458a.tar.gz bcm5719-llvm-e73571b9cccdf0e3e07ab551e0cea6356047458a.zip | |
Add WIP prototype of a new buffer overflow
checker based on using raw (symbolic) byte offsets
from a base region.
llvm-svn: 122469
Diffstat (limited to 'clang/lib/GR/Checkers/AnalysisConsumer.cpp')
| -rw-r--r-- | clang/lib/GR/Checkers/AnalysisConsumer.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clang/lib/GR/Checkers/AnalysisConsumer.cpp b/clang/lib/GR/Checkers/AnalysisConsumer.cpp index 1ebe53012ec..28a260c3e36 100644 --- a/clang/lib/GR/Checkers/AnalysisConsumer.cpp +++ b/clang/lib/GR/Checkers/AnalysisConsumer.cpp @@ -354,6 +354,9 @@ static void ActionExprEngine(AnalysisConsumer &C, AnalysisManager& mgr, if (C.Opts.IdempotentOps || C.Opts.EnableExperimentalChecks || C.Opts.EnableExperimentalInternalChecks) RegisterIdempotentOperationChecker(Eng); + + if (C.Opts.BufferOverflows) + RegisterArrayBoundCheckerV2(Eng); // Enable AnalyzerStatsChecker if it was given as an argument if (C.Opts.AnalyzerStats) |
