diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2017-05-29 15:03:20 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2017-05-29 15:03:20 +0000 |
| commit | 8fa639ecf06b7aa3497112960d00df2e952c3f84 (patch) | |
| tree | d82a6f71273ef1eafcc68be197c3a6c64c2cfe9c /clang/lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 77915931382df169be4a32d5f649f7d311d6b465 (diff) | |
| download | bcm5719-llvm-8fa639ecf06b7aa3497112960d00df2e952c3f84.tar.gz bcm5719-llvm-8fa639ecf06b7aa3497112960d00df2e952c3f84.zip | |
[analyzer] Initial commit for the upcoming refactoring of the IteratorChecker.
The new checker currently contains the very core infrastructure for tracking
the state of iterator-type objects in the analyzer: relating iterators to
their containers, tracking symbolic begin and end iterator values for
containers, and solving simple equality-type constraints over iterators.
A single specific check over this infrastructure is capable of finding usage of
out-of-range iterators in some simple cases.
Patch by Ádám Balogh!
Differential revision: https://reviews.llvm.org/D32592
llvm-svn: 304160
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
0 files changed, 0 insertions, 0 deletions
