]> granicus.if.org Git - clang/commit
Add support for computing size in elements for symbolic regions obtained from
authorZhongxing Xu <xuzhongxing@gmail.com>
Mon, 18 Jan 2010 08:54:31 +0000 (08:54 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Mon, 18 Jan 2010 08:54:31 +0000 (08:54 +0000)
commit3ed04d37573c566205d965d2e91d54ccae898d0a
tree3dceac07a4d604c2957a8b608f0e60926dcc3637
parent7a2132a5d2fead49f6fddc39137e1c14b70c0193
Add support for computing size in elements for symbolic regions obtained from
malloc().

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@93722 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/Store.h
lib/Analysis/ArrayBoundChecker.cpp
lib/Analysis/MallocChecker.cpp
lib/Analysis/RegionStore.cpp
lib/Analysis/ReturnPointerRangeChecker.cpp
test/Analysis/outofbound.c