[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
Showing
- include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h 2 additions, 0 deletions...e/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
- lib/StaticAnalyzer/Core/SValBuilder.cpp 7 additions, 3 deletionslib/StaticAnalyzer/Core/SValBuilder.cpp
- lib/StaticAnalyzer/Core/SymbolManager.cpp 7 additions, 0 deletionslib/StaticAnalyzer/Core/SymbolManager.cpp
- test/Analysis/taint-generic.c 20 additions, 0 deletionstest/Analysis/taint-generic.c
Loading
Please register or sign in to comment