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 | c478a1425c055e517169220ea1c1efd857e65f52 (patch) | |
| tree | 8a794072d82c7f1591130c59ddabc2d5bb9809ec /lib/Frontend/CompilerInvocation.cpp | |
| parent | 99c330d0149abeb7f5e52a30ad329f2588c01671 (diff) | |
Add WIP prototype of a new buffer overflow
checker based on using raw (symbolic) byte offsets
from a base region.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122469 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Frontend/CompilerInvocation.cpp')
| -rw-r--r-- | lib/Frontend/CompilerInvocation.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Frontend/CompilerInvocation.cpp b/lib/Frontend/CompilerInvocation.cpp index 7dbc8f2320..ba91510197 100644 --- a/lib/Frontend/CompilerInvocation.cpp +++ b/lib/Frontend/CompilerInvocation.cpp @@ -117,7 +117,9 @@ static void AnalyzerOptsToArgs(const AnalyzerOptions &Opts, if (Opts.EnableExperimentalInternalChecks) Res.push_back("-analyzer-experimental-internal-checks"); if (Opts.IdempotentOps) - Res.push_back("-analyzer-check-idempotent-operations"); + Res.push_back("-analyzer-check-idempotent-operations"); + if (Opts.BufferOverflows) + Res.push_back("-analyzer-check-buffer-overflows"); } static void CodeGenOptsToArgs(const CodeGenOptions &Opts, @@ -857,6 +859,7 @@ static void ParseAnalyzerArgs(AnalyzerOptions &Opts, ArgList &Args, Opts.MaxLoop = Args.getLastArgIntValue(OPT_analyzer_max_loop, 4, Diags); Opts.InlineCall = Args.hasArg(OPT_analyzer_inline_call); Opts.IdempotentOps = Args.hasArg(OPT_analysis_WarnIdempotentOps); + Opts.BufferOverflows = Args.hasArg(OPT_analysis_WarnBufferOverflows); } static void ParseCodeGenArgs(CodeGenOptions &Opts, ArgList &Args, InputKind IK, |