New goto-analyzer infrastructure : take 3#424

Closed

martin-cs wants to merge 13 commits intodiffblue:masterfrom

martin-cs:goto-analyzer-4

Commits on Jan 11, 2017

Add XML and JSON output to the base of both domains and analysis.

Martin Brain
authored and
martin
committed
Make evaluation and/or simplification of conditions a domain operation.

Martin Brain
authored and
martin
committed
Implement domain_simplify for intervals.
martin
committed
Add utility function to tell is a program is threaded or not.
martin
committed
Refactor goto-analyzer so that task, analysis, domain and output can be picked independently.
martin
committed
Remove the special case handling of --show-intervals.

Martin Brain
authored and
martin
committed
Lucas' fixes and improvements to the interval domain.
martin
committed
Lucas' fixes and improvements to the constant domain.
martin
committed
Implement domain_simplify for the constant domain.

Martin Brain
authored and
martin
committed
Lucas' rather fantastic regression tests with flags and status updated to match the refactoring.

Martin Brain
authored and
martin
committed
Add output_json to the dependence_graph abstract domain.
martin
committed
Add utility function for remove_unreachable.
martin
committed
Catch exceptions thrown in doit().
martin
committed