Control flow in main function

[Mchan2003]

In the constructor

• pass in the target file to the ELF parser and store the LSDA
• pass the LSDA to the ABI parser and store the call stack and action tables related to exceptions
• pass the gcc call graph to the call graph parser and store the parsed graph
• pass call stack, action table, and parsed call graph to Validator
• From the validator, store the logs, and a boolean indicating whether the exceptions are used correctly