Draft: Code review for CFA reverser
The goal of the GSoC project is to implement a CFA transformer that reverses program executions by following the transitions backward (from target to initial location).
This MR is mainly for code review only. Merging has to be done via SVN.
Edited by Po-Chun Chien