6b5f1524_DARPA___Open_Catalog__Description
[DARPA Program] BET [Office] I2O [Description] 
The objective of the Binary Executable Transforms (BET) program is to produce revolutionary technologies for analyzing executable binaries to identify and extract executable components. Executable components are defined as a fully encapsulated set of subroutines, data structures, objects and global variables that accomplish a particular function, along with metadata documenting the component's arguments and any system libraries used. Specifically, BET performers are conducting innovative research in: • Automatically analyzing binaries and identifying functional components. • Automatically slicing and extracting identified functionality into reusable components with well-defined inputs and outputs. • Combining static and dynamic binary analysis to improve understanding of binary executables. • Exploring formal verification methods to prove functional component properties. • Developing intermediate representation language to support program slicing. • Developing technologies to enable exploration and research for the BET program.
DARPA - Open Catalog
Description