Age | Commit message (Expand) | Author | Files | Lines |
2021-07-07 | analyzer: remove add_any_constraints_from_ssa_def_stmt | David Malcolm | 1 | -0/+14 |
2021-01-04 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2020-09-22 | analyzer: add -fdump-analyzer-json | David Malcolm | 1 | -0/+36 |
2020-09-09 | analyzer: use objects for state_machine::state_t | David Malcolm | 1 | -26/+36 |
2020-08-13 | analyzer: rewrite of region and value-handling | David Malcolm | 1 | -20/+1 |
2020-03-06 | analyzer: improvements to state dumping | David Malcolm | 1 | -0/+15 |
2020-02-24 | analyzer: disable the "taint" checker by default | David Malcolm | 1 | -1/+4 |
2020-01-30 | analyzer: add extrinsic_state::dump | David Malcolm | 1 | -0/+12 |
2020-01-22 | analyzer: introduce namespace to avoid ODR clashes (PR 93307) | David Malcolm | 1 | -0/+4 |
2020-01-14 | Initial commit of analyzer | David Malcolm | 1 | -0/+122 |