summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Extend BugType constructor to accept "SuppressOnSink" as a parameterGeorge Karpenkov2019-01-181-6/+6
* [analyzer][NFC] Move CheckerRegistry from the Core directory to FrontendKristof Umann2018-12-151-1/+1
* Misc typos fixes in ./lib folderRaphael Isemann2018-12-101-2/+2
* [Analyzer] Iterator Checker - Forbid decrements past the begin() and incremen...Adam Balogh2018-12-041-90/+154
* [Analyzer] Iterator Checkers - Use the region of the topmost base class for i...Adam Balogh2018-12-041-39/+21
* [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert, empl...Adam Balogh2018-09-101-2/+354
* [Analyzer] Iterator Checker - Part 7: Support for push and pop operationsAdam Balogh2018-09-101-0/+312
* [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constru...Adam Balogh2018-09-101-1/+60
* [Analyzer] Iterator Checker - Part 5: Move Assignment of ContainersAdam Balogh2018-09-101-6/+153
* [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for functio...Adam Balogh2018-09-101-1/+116
* [Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) as...Adam Balogh2018-08-281-45/+138
* [analyzer] Add missing state transition in IteratorChecker.Reka Kovacs2018-07-301-0/+2
* [Analyzer] Iterator Checker Hotfix: Defer deletion of container data until it...Adam Balogh2018-07-301-1/+22
* [Analyzer] Mark `SymbolData` parts of iterator position as live in program st...Adam Balogh2018-07-161-21/+33
* [Analyzer] Iterator Checker - Part 2: Increment, decrement operators and ahea...Adam Balogh2018-06-281-31/+448
* [analyzer] Fix the crash in IteratorChecker.cpp when 'SymbolConjured' has a n...Henry Wong2018-03-201-1/+1
* [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he...George Karpenkov2018-01-171-3/+2
* [analyzer] Initial commit for the upcoming refactoring of the IteratorChecker.Artem Dergachev2017-05-291-0/+833