Skip to content

Draft: Code review for CFA reverser

Po-Chun Chien requested to merge reverse-cfa into trunk

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

Merge request reports