Binary Executable Transforms (BET)

DARPA is soliciting proposals for innovative research in computer program analysis. The proposed research should investigate new approaches in binary executable program analysis, particularly identifying program functional components and automatically extracting them. Specifically excluded is research that results primarily in evolutionary improvements to the existing state of practice. Further detail is provided in the attached announcement.