A SBIR Phase II contract was awarded to BlueRISC, Inc. in March, 2023 for $1,479,634.0 USD from the U.S. Department of Defense and DARPA.
BlueRISC’s proposed solution provides a new, fundamental approach to enabling the validation of COTS software with respect to a set of defined requirements. The solution is built on a generic program analytic framework for processing and validating against requirements. The proposed solution operates strictly at the binary-level and does so in a processor/ISA-agnostic manner. The solution automatically generates a confidence metric conveying the likelihood that a specific requirement is met within a software.