Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-09-22 | analyzer: add -fdump-analyzer-json | David Malcolm | 1 | -0/+3 |
2020-09-09 | analyzer: generalize sm-malloc to new/delete [PR94355] | David Malcolm | 1 | -0/+6 |
2020-09-09 | analyzer: eliminate sm_context::warn_for_state in favor of a new 'warn' vfunc | David Malcolm | 1 | -5/+3 |
2020-09-09 | analyzer: reimplement on_transition in terms of get_state/set_next_state | David Malcolm | 1 | -5/+22 |
2020-09-09 | analyzer: use objects for state_machine::state_t | David Malcolm | 1 | -16/+32 |
2020-08-13 | analyzer: rewrite of region and value-handling | David Malcolm | 1 | -4/+31 |
2020-03-06 | analyzer: improvements to state dumping | David Malcolm | 1 | -0/+2 |
2020-02-03 | analyzer: detect zero-assignment in phis (PR 93544) | David Malcolm | 1 | -0/+7 |
2020-01-30 | analyzer: add extrinsic_state::dump | David Malcolm | 1 | -0/+2 |
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/+178 |