Isolating cause-effect chains with AskIgor

AskIgor is a Web service for automatically determining causes of program failures. You submit an executable and two invocations: one where the program fails, and one where it passes. AskIgor compares these two runs and conducts a number of systematic tests to narrow down the set of failure-inducing variable values automatically. This reveals the cause-effect chain of the failure - that is, the variables and values that caused the failure. In a case study, AskIgor successfully isolated the cause-effect chain for a failure of the GNU C compiler: "initially, the C program to be compiled contained an addition of 1.0; this caused an addition operator in the intermediate RTL representation; this caused a cycle in the RTL tree - and this caused the compiler to crash".