US looking for revolutionary binary code system

nsf
It may be one the oldest, most basic components of software code but the scientists at the Defense Advanced Research Projects Agency want to develop what they call revolutionary technologies for analyzing, identifying, and slicing binary executable components.

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

Can Space X and Orbital step up for NASA?

Insider Shootout: Best security tools for small business
Editors' Picks
Join the discussion
Be the first to comment on this article. Our Commenting Policies