wangtao
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
98,524 Commits 29 Branches 0 Tags 2.2 GiB
Commit Graph

3 Commits

Author SHA1 Message Date
Ted Kremenek 5614c46fcf Add basic support for pointer arithmetic in 
SimpleSValBuilder.  This clears up some
false positives emitted by ArrayBoundCheckerV2
due to the lack of support for pointer arithmetic.

llvm-svn: 122546
 2010-12-24 08:39:33 +00:00
Ted Kremenek bd5fcdf803 It's amazing what you find when you actually 
set the RUN line correctly in a test file!

Mark a bunch of tests for ArrayBoundCheckerV2
as FIXME's, as our current lack of pointer
arithmetic handling causes these to be all
false positives/negatives.

llvm-svn: 122471
 2010-12-23 02:42:49 +00:00
Ted Kremenek e73571b9cc Add WIP prototype of a new buffer overflow 
checker based on using raw (symbolic) byte offsets
from a base region.

llvm-svn: 122469
 2010-12-23 02:42:43 +00:00