summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [Analyzer][NFC] Iterator Checkers - Separate iterator modeling and the actual...Adam Balogh2019-12-111-2542/+0
* [NFC] Refactor representation of materialized temporariesTyker2019-11-191-2/+1
* Revert "[NFC] Refactor representation of materialized temporaries"Nico Weber2019-11-171-1/+2
* [NFC] Refactor representation of materialized temporariesTyker2019-11-161-2/+1
* [Analyzer] Checker for Debugging Iterator CheckersAdam Balogh2019-11-081-2/+155
* [analyzer][NFC] Fix inconsistent references to checkers as "checks"Kristof Umann2019-09-121-5/+3
* [analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.Artem Dergachev2019-09-091-4/+8
* [Analyzer] Iterator Checkers - Make range errors and invalidated access fatalAdam Balogh2019-08-291-8/+6
* [analyzer] Fix analyzer warnings on analyzer.Artem Dergachev2019-08-281-1/+2
* [analyzer] CastValueChecker: Rewrite dead header hotfixCsaba Dabis2019-08-221-1/+1
* [Clang] Migrate llvm::make_unique to std::make_uniqueJonas Devlieghere2019-08-141-4/+4
* [Analyzer] Iterator Checkers - Fix for Crash on Iterator DifferencesAdam Balogh2019-08-051-4/+8
* [Analyzer] Refactor begin and end symbol creationAdam Balogh2019-05-201-22/+36
* [Analyzer] Iterator Checkers - Do an early return after handling callsAdam Balogh2019-04-261-22/+64
* [Analyzer] Second fix for last commit for IteratorCheckerAdam Balogh2019-04-231-1/+1
* [Analyzer] Fix for previous commitAdam Balogh2019-04-231-2/+2
* [Analyzer] Instead of recording comparisons in interator checkers do an eager...Adam Balogh2019-04-231-258/+126
* [Analyzer] Skip symbolic regions based on conjured symbols in comparison of t...Adam Balogh2019-03-131-3/+46
* [analyzer] Add CheckerManager::getChecker, make sure that a registry function...Kristof Umann2019-01-261-1/+1
* [analyzer] Reimplement dependencies between checkersKristof Umann2019-01-261-0/+8
* [analyzer] Supply all checkers with a shouldRegister functionKristof Umann2019-01-261-0/+4
* [Analyzer] Remove extra blank line from Iterator Checker (test commit)Adam Balogh2019-01-211-1/+0
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* Revert "Fix failing MSan bots"George Karpenkov2019-01-181-6/+6
* Fix failing MSan botsVlad Tsyrklevich2019-01-181-6/+6
* [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
OpenPOWER on IntegriCloud