Integration of Informal and Formal Methods for the Reverse Engineering of C ProgramsReverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facillitate the understanding of a system that may be in a.