analyzer: add -fdump-analyzer-json
[platform/upstream/gcc.git] / gcc / analyzer / sm.cc
2020-09-22 David Malcolmanalyzer: add -fdump-analyzer-json
2020-09-09 David Malcolmanalyzer: use objects for state_machine::state_t
2020-08-13 David Malcolmanalyzer: rewrite of region and value-handling
2020-03-06 David Malcolmanalyzer: improvements to state dumping
2020-02-24 David Malcolmanalyzer: disable the "taint" checker by default
2020-01-31 David Malcolmanalyzer: add extrinsic_state::dump
2020-01-22 David Malcolmanalyzer: introduce namespace to avoid ODR clashes...
2020-01-14 David MalcolmInitial commit of analyzer