]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 254be6a) | patch
Initial support for checking out of bound memory access. Only support
authorZhongxing Xu <xuzhongxing@gmail.com>
Sat, 22 Nov 2008 13:21:46 +0000 (13:21 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Sat, 22 Nov 2008 13:21:46 +0000 (13:21 +0000)
commite8a964bdb46349e4fa3433c8e5104d2a0f7f5c65
tree7ee508e61cd1fd98e1e3412e54bcd037104ad779tree | snapshot
parent254be6ac14092e0bdd9e632dfea09f237850e63dcommit | diff
Initial support for checking out of bound memory access. Only support
ConcreteInt index for now.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59869 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/BasicValueFactory.h diff | blob | history
include/clang/Analysis/PathSensitive/ConstraintManager.h diff | blob | history
include/clang/Analysis/PathSensitive/GRExprEngine.h diff | blob | history
include/clang/Analysis/PathSensitive/GRState.h diff | blob | history
include/clang/Analysis/PathSensitive/SVals.h diff | blob | history
lib/Analysis/BasicConstraintManager.cpp diff | blob | history
lib/Analysis/BasicValueFactory.cpp diff | blob | history
lib/Analysis/GRExprEngine.cpp diff | blob | history
lib/Analysis/RegionStore.cpp diff | blob | history
lib/Analysis/SVals.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.