Our tool can identify which decompiled functions are likely to be semantically equivalent to the original binary function and ...

This line of work, if successful, will enable the DoD to find and fix potential vulnerabilities in binary code that might otherwise be cost prohibitive to investigate or repair, thereby increasing the ...