]> granicus.if.org Git - clang/commit
[analyzer] Add a complexity bound on history tracking.
authorAnna Zaks <ganna@apple.com>
Thu, 3 May 2012 02:13:50 +0000 (02:13 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 3 May 2012 02:13:50 +0000 (02:13 +0000)
commitbaeaa9ad120f60b1c5b6f1a84286b507dbe2b55d
tree4fc516f9dc43482931de9277f46f91c00feb9e70
parent31595e22b7e0d21b0b7c4c4fb196e97d3edc2a08
[analyzer] Add a complexity bound on history tracking.

(Currently, this is only relevant for tainted data.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156050 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
lib/StaticAnalyzer/Core/SValBuilder.cpp
lib/StaticAnalyzer/Core/SymbolManager.cpp
test/Analysis/taint-generic.c