Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-07-26 | analyzer: add symbol base class, moving region id to there [PR104940] | David Malcolm | 1 | -4/+5 |
2023-06-30 | analyzer: Fix regression bug after r14-1632-g9589a46ddadc8b [PR110198] | benjamin priour | 1 | -1/+2 |
2023-06-21 | analyzer: add text-art visualizations of out-of-bounds accesses [PR106626] | David Malcolm | 1 | -1/+1 |
2023-01-16 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2022-12-08 | analyzer: fix ICE on region creation during get_referenced_base_regions [PR10... | David Malcolm | 1 | -1/+1 |
2022-12-06 | analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325] | David Malcolm | 1 | -0/+1 |
2022-11-23 | analyzer: revamp of heap-allocated regions [PR106473] | David Malcolm | 1 | -1/+3 |
2022-11-07 | analyzer: start adding support for errno | David Malcolm | 1 | -0/+4 |
2022-10-04 | analyzer: revamp side-effects of call summaries [PR107072] | David Malcolm | 1 | -0/+6 |
2022-10-04 | analyzer: move region_model_manager decl to its own header | David Malcolm | 1 | -0/+312 |