2020-09-22 | David Malcolm | analyzer: add -fdump-analyzer-json | blob | commitdiff | raw |
2020-09-09 | David Malcolm | analyzer: use objects for state_machine::state_t | blob | commitdiff | raw | diff to current |
2020-08-13 | David Malcolm | analyzer: rewrite of region and value-handling | blob | commitdiff | raw | diff to current |
2020-03-06 | David Malcolm | analyzer: improvements to state dumping | blob | commitdiff | raw | diff to current |
2020-02-24 | David Malcolm | analyzer: disable the "taint" checker by default | blob | commitdiff | raw | diff to current |
2020-01-31 | David Malcolm | analyzer: add extrinsic_state::dump | blob | commitdiff | raw | diff to current |
2020-01-22 | David Malcolm | analyzer: introduce namespace to avoid ODR clashes... | blob | commitdiff | raw | diff to current |
2020-01-14 | David Malcolm | Initial commit of analyzer | blob | commitdiff | raw | diff to current |