1. b198f16 [Analyzer] Model STL Algoirthms to improve the iterator checkers by Adam Balogh · 6 years ago
  2. 9a08a3f [Analyzer] Split container modeling from iterator modeling by Adam Balogh · 6 years ago
  3. b6d9e97 [Analyzer] Fixes -Wrange-loop-analysis warnings by Mark de Wever · 6 years ago
  4. 70d592d [Analyzer] Use a reference in a range-based for by Mark de Wever · 6 years ago
  5. 855d21a [Analyzer] Iterator Checkers: Replace `UnknownVal` in comparison result by a conjured value by Adam Balogh · 6 years ago
  6. 6e9c589 [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when printing the Program State by Adam Balogh · 6 years ago
  7. afb13af [Analyzer][NFC] Iterator Checkers - Separate iterator modeling and the actual checkers by Adam Balogh · 6 years ago