]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99c330d) | patch
Add WIP prototype of a new buffer overflow
authorTed Kremenek <kremenek@apple.com>
Thu, 23 Dec 2010 02:42:43 +0000 (02:42 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 23 Dec 2010 02:42:43 +0000 (02:42 +0000)
commitc478a1425c055e517169220ea1c1efd857e65f52
tree8a794072d82c7f1591130c59ddabc2d5bb9809ectree | snapshot
parent99c330d0149abeb7f5e52a30ad329f2588c01671commit | 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
include/clang/Driver/CC1Options.td diff | blob | history
include/clang/Frontend/AnalyzerOptions.h diff | blob | history
lib/Frontend/CompilerInvocation.cpp diff | blob | history
lib/GR/Checkers/AnalysisConsumer.cpp diff | blob | history
lib/GR/Checkers/ArrayBoundCheckerV2.cpp [new file with mode: 0644] blob
lib/GR/Checkers/CMakeLists.txt diff | blob | history
lib/GR/Checkers/ExprEngineInternalChecks.h diff | blob | history
test/Analysis/out-of-bounds.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.