SBIR/STTR Award attributes
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.
