aboutsummaryrefslogtreecommitdiff
path: root/lib/GR/Checkers/ArrayBoundCheckerV2.cpp
AgeCommit message (Collapse)Author
2010-12-23Rename headers: 'clang/GR' 'clang/EntoSA' andTed Kremenek
update Makefile. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122493 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-23Rename static analyzer namespace 'GR' to 'ento'.Ted Kremenek
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122492 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-23Add WIP prototype of a new buffer overflowTed Kremenek
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