According to DARPA, the Department of Defense has critical applications that have been developed for older operating system versions and must be ported to future versions. In many cases, the application source code is no longer accessible requiring these applications to continue to run on insecure and out-dated configurations, impacting day-to-day operations. It is necessary to identify and extract functional components within this software for reuse in new applications.
More cool news: High-tech healthcare technology gone wild
DARPA said it defines binary executable components are defined as a fully encapsulated set of subroutines, data structures, imported APIs, objects, and global variables that accomplish a particular function.
DARPA says its Binary Executable Transforms (BET) program is focused on binary executables, not source code, and seeks to overcome the current limitations of existing binary analysis and program slicing techniques. Many program slicing techniques use source code, not machine code, to slice functional components due to the lack of correctness in binary analysis and disassembly.
That's where the BET program comes in. Specifically, BET is seeking innovative research in:
- Automatically analyzing and identifying binary executable functional components.
- Automatically slicing and extracting identified binary functional components into reusable programming modules, including defined inputs and outputs.
- Combining static and dynamic binary analysis to increase understanding and function of binary executables.
- Exploring formal verification methods to prove functional component properties.
- Developing intermediate representation language to support program slicing.
- Developing core technology to enable exploration and research for the BET program.
BET intends to generate novel research, publications, and prototype code to seed future programs requiring foundational technology in binary program analysis. The goal of this program is not to build systems or transitionable technology but to perform research that will eventually help the Department of Defense build such systems, DARPA stated.
"To bound the research problem, experimental binaries and approaches should be limited to x86 Windows or Linux operating systems. Approaches should be capable of processing either PE or ELF formats without artifacts or information dependencies particular to a specific binary format. Other formats may be considered but will require compelling rationale from the performer," DARPA said.
DARPA said it anticipates multiple awards not exceed $250,000 per phase/technical area for this research announcement.
Follow Michael Cooney on Twitter: nwwlayer8
Layer 8 Extra
Check out these other hot stories:
NASA: The edge of the solar system is home to 1 million mile wide magnetic bubbles
NASA Mars mission walking a tightrope to get off the ground this year
Federal courts to begin first ever digital video pilot of criminal cases
NASA satellite snaps pictures of massive solar blast
High-tech healthcare technology gone wild
Unabomber Ted Kaczynski's property auction raises $232,000 for victims
Google: Five data center energy saving ideas you can implement
Does IRS need more options to fight identity theft?
IRS: Top 10 things every taxpayer should know about identity theft
NASA amps up sonic booms to learn how to quiet them
FAA: $11,000 fine for anyone caught pointing lasers at aircraft
