granicus.if.org Git - clang/commit

]> granicus.if.org Git - clang/commit

author	Anna Zaks <ganna@apple.com>
	Tue, 6 Dec 2011 23:12:27 +0000 (23:12 +0000)
committer	Anna Zaks <ganna@apple.com>
	Tue, 6 Dec 2011 23:12:27 +0000 (23:12 +0000)
commit	aace9ef279be3dadd53b481aee568bd7701178b4
tree	9da5657b9b4926b62e1e8fe095d0b844ae4ab923	tree \| snapshot
parent	e5ee70d08e62cb6c96a736163204c12c6ef8147a	commit \| diff

[analyzer] Propagate taint through NonLoc to NonLoc casts.

- Created a new SymExpr type - SymbolCast.
- SymbolCast is created when we don't know how to simplify a NonLoc to
NonLoc casts.
- A bit of code refactoring: introduced dispatchCast to have better
code reuse, remove a goto.
- Updated the test case to showcase the new taint flow.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145985 91177308-0d34-0410-b5e6-96231b3b80d8

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom

include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h		diff \| blob \| history
include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h		diff \| blob \| history
include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h		diff \| blob \| history
lib/StaticAnalyzer/Core/ProgramState.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/RegionStore.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/SValBuilder.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/SVals.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/Store.cpp		diff \| blob \| history
lib/StaticAnalyzer/Core/SymbolManager.cpp		diff \| blob \| history
test/Analysis/taint-tester.c		diff \| blob \| history