Back to Results
First PageMeta Content
Software / Applied mathematics / Programming language implementation / X86 / Runtime verification / Low-level programming language / Formal verification / Pin / Compiler / Formal methods / Logic in computer science / Computing


BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur
Add to Reading List

Document Date: 2011-07-20 13:50:41

Open Document

File Size: 130,00 KB

Share Result on Facebook
UPDATE