Galois has been selected by the Office of Naval Research for a Phase 1 Small Business Innovative Research (SBIR) award, to develop a viable real-time software execution monitoring system to protect programs against errors, regardless of the programming language the software is written in.
The approach will be based on instrumentation of binaries via the LLVM compiler framework. This effort builds on Galois’ expertise in runtime monitoring and program analysis (such as the ASA tool and the CoPilot monitoring language).
Contact Leah Daniels at 503-808-7152 for more information.