Age | Commit message (Expand) | Author |
---|---|---|
2020-03-06 | analyzer: improvements to state dumping | David Malcolm |
2020-02-24 | analyzer: disable the "taint" checker by default | David Malcolm |
2020-01-30 | analyzer: add extrinsic_state::dump | David Malcolm |
2020-01-22 | analyzer: introduce namespace to avoid ODR clashes (PR 93307) | David Malcolm |
2020-01-14 | Initial commit of analyzer | David Malcolm |