| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [analyzer] Add missing state transition in IteratorChecker. | Reka Kovacs | 2018-07-30 | 1 | -0/+2 |
| * | [Analyzer] Iterator Checker Hotfix: Defer deletion of container data until it... | Adam Balogh | 2018-07-30 | 1 | -1/+22 |
| * | [Analyzer] Mark `SymbolData` parts of iterator position as live in program st... | Adam Balogh | 2018-07-16 | 1 | -21/+33 |
| * | [Analyzer] Iterator Checker - Part 2: Increment, decrement operators and ahea... | Adam Balogh | 2018-06-28 | 1 | -31/+448 |
| * | [analyzer] Fix the crash in IteratorChecker.cpp when 'SymbolConjured' has a n... | Henry Wong | 2018-03-20 | 1 | -1/+1 |
| * | [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he... | George Karpenkov | 2018-01-17 | 1 | -3/+2 |
| * | [analyzer] Initial commit for the upcoming refactoring of the IteratorChecker. | Artem Dergachev | 2017-05-29 | 1 | -0/+833 |
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|