Back to Results
First PageMeta Content
Computer 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 infrastructur
Add to Reading List

Document Date: 2014-12-17 15:18:11

Open Document

File Size: 148,10 KB

Share Result on Facebook

City

Pittsburgh / Phoenix / Boulder / /

Company

Cambridge University Press / Intel / Microsoft / /

Country

United States / /

Facility

Carnegie Mellon University / Edward J. Schwartz Carnegie Mellon University / University of Wisconsin / /

IndustryTerm

security research applications / generation algorithms / software property / software analysis research / command line utilities / linear sweep disassembly algorithm / /

OperatingSystem

GNU / /

Organization

Army Research Office / Cambridge University / Carnegie Mellon University / University of Wisconsin / Computer Science Department / /

Person

Ivan Jager / /

Position

evaluator / /

ProgrammingLanguage

C / /

ProvinceOrState

Wisconsin / Illinois / Colorado / /

Technology

real processor / application program interface / API / VC generation algorithms / linear sweep disassembly algorithm / two algorithms / /

URL

http /

SocialTag