Goto analyzer 6 part2#1487

Merged

mgudemann merged 7 commits intodiffblue:developfrom

martin-cs:goto-analyzer-6-part2

Oct 20, 2017

Commits on Oct 19, 2017

Rename the XML output to something a bit more meaningful.
martin
committed
Add is_bottom() and is_top() to ai_domain_baset and derived domains.
martin
committed
Update the mock domain with the new ai_domain_baset interface.
martin
committed
Use is_bottom() to catch unreachable functions.
martin
committed
Don't stop when recursion found

thk123
authored and
martin
committed
Disable the regression test for now as it depends on the variable sensitivity domain.
martin
committed
Methods for ai_baset to allow access to the ai_base_domaint for a location.
martin
committed