Development of Tools to Derive High Level Language Code Associated with Executable Software

BlueRISC’s proposed solution aims to create an automated toolkit that is capable of reverse engineering software executables and firmware images to recreate a high-level source code representation. The solution relies on a novel, binary-level program analytic framework that is able to identify the critical programming constructs, including functions, loops, control-flow, variables, etc., that are required to generate a higher-level representation. A retargetable backend code generation pass will enable support for multiple high-level programming languages. The ultimate goal is to not only generate a representative source code, but to do so in a way that is intuitive to an analyst making the software assurance review process as straightforward as possible.