Directed Compilation for Assured Patching
As part of the DARPA AMP project, we are working on:
- automatically applying software patches at the binary level, even when the original source code or the original tool-chain is not available;
- automatically verifying the functionality of the patched software.
