]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f64114b) | patch
[analyzer] Propagate taint through MemRegions.
authorAnna Zaks <ganna@apple.com>
Wed, 7 Dec 2011 01:09:52 +0000 (01:09 +0000)
committerAnna Zaks <ganna@apple.com>
Wed, 7 Dec 2011 01:09:52 +0000 (01:09 +0000)
commitdcf06fa1fbb9c018e152629ef3f3fa7b1acffe7a
treee33ccc129993255da142c6d1a9bb6ad1acd86ebdtree | snapshot
parentf64114b2aa611a66fc97e6bd8f35b0b039a4500acommit | diff
[analyzer] Propagate taint through MemRegions.
SVal can be not only a symbol, but a MemRegion. Add support for such
cases.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@146006 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h diff | blob | history
lib/StaticAnalyzer/Core/ProgramState.cpp diff | blob | history
test/Analysis/taint-tester.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.