Anna Zaks 040ddfedc0 [analyzer] Do not conjure a symbol when we need to propagate taint. ... When the solver and SValBuilder cannot reason about symbolic expressions (ex: (x+1)*y ), the analyzer conjures a new symbol with no ties to the past. This helps it to recover some path-sensitivity. However, this breaks the taint propagation. With this commit, we are going to construct the expression even if we cannot reason about it later on if an operand is tainted. Also added some comments and asserts. llvm-svn: 144932		2011-11-17 23:07:28 +00:00
..
clang	[analyzer] Do not conjure a symbol when we need to propagate taint.	2011-11-17 23:07:28 +00:00
clang-c	[libclang] Introduce a new function to apply the indexing callbacks on an existing	2011-11-15 06:20:16 +00:00
CMakeLists.txt
Makefile