![Computer programming / Software engineering / Programming language implementation / Runtime verification / Formal verification / X86 / Compiler / Pin / Disassembler / Computing / Formal methods / Logic in computer science Computer programming / Software engineering / Programming language implementation / Runtime verification / Formal verification / X86 / Compiler / Pin / Disassembler / Computing / Formal methods / Logic in computer science](https://www.pdfsearch.io/img/9ea263f2a49196dcc248c038cb91ee19.jpg) Date: 2014-12-17 15:18:11Computer programming Software engineering Programming language implementation Runtime verification Formal verification X86 Compiler Pin Disassembler Computing Formal methods Logic in computer science | | 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 infrastructurAdd to Reading ListSource URL: users.ece.cmu.eduDownload Document from Source Website File Size: 148,10 KBShare Document on Facebook
|