]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b653c52) | patch
static analyzer: refactor checking logic for returning the address of a stack variabl...
authorTed Kremenek <kremenek@apple.com>
Fri, 6 Nov 2009 02:24:13 +0000 (02:24 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 6 Nov 2009 02:24:13 +0000 (02:24 +0000)
commit1053d246f451c399468248625d1146e3d845e21e
tree3a3ff1f9d0efd20a2998769ad42e2872e645f3e9tree | snapshot
parentb653c52d9176a4faecf923f792758f4454f7f78ccommit | diff
static analyzer: refactor checking logic for returning the address of a stack variable or a garbage
value into their own respective subclasses of Checker (and put them in .cpp files where their
implementation details are hidden from GRExprEngine).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86215 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/Checker.h diff | blob | history
include/clang/Analysis/PathSensitive/CheckerVisitor.def diff | blob | history
include/clang/Analysis/PathSensitive/GRExprEngine.h diff | blob | history
lib/Analysis/CMakeLists.txt diff | blob | history
lib/Analysis/GRExprEngine.cpp diff | blob | history
lib/Analysis/GRExprEngineInternalChecks.cpp diff | blob | history
lib/Analysis/GRExprEngineInternalChecks.h [new file with mode: 0644] blob
lib/Analysis/ReturnStackAddressChecker.cpp [new file with mode: 0644] blob
lib/Analysis/ReturnUndefChecker.cpp [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.