{"repo":"BinaryAnalysisPlatform/bap","free":true,"listed":false,"github":"https://github.com/BinaryAnalysisPlatform/bap","clone":"git clone https://github.com/BinaryAnalysisPlatform/bap.git","description":"Binary Analysis Platform","language":"OCaml","stars":2249,"topics":["binary-analysis","reverse-engineering","program-analysis","static-analysis","dynamic-analysis","program-verification","instruction-semantics","taint-analysis","disassembler","lifter"],"license":"MIT","category":"security-tools","readme_excerpt":"Binary Analysis Platform [ ][docs] [ ][docs] Table of contents Overview Installation Using Learning Contributing Sponsors Overview The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a suite of utilities and libraries that enables analysis of binary programs. BAP supports x86, x86-64, ARM, MIPS, PowerPC and new architectures can be added using plugins. BAP includes various analyses, standard interpreter, microexecution interpreter, and a symbolic executor. BAP features its own domain-specific language, [Primus Lisp][primus-lisp], that is used for implementing analyses, specifying verification conditions, modeling functions (writing stubs), and even interfacing with the SMT solver. The [toolkit][toolkit] repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the [tutorial][bap-tutorial]) for implementing custom analyses. BAP can be used as a framework with a single [bap][demo] utility that is [extended with plugins][extending] or it can be used as a library [embedded][embedding] in a user application, which could be written in OCaml or, in any other language, using [C bindings][bap-bindings]. We also provide some [minimal support for Python][bap-python] to make it easier to start learning BAP. BAP was developed in CMU, Cylab and is sponsored by grants from the United States Department of Defense, Siemens, Boeing, ForAllSecure, and the Korea government, see sponsors","default_branch":null,"files":null,"tree":[],"storefront":"/r/BinaryAnalysisPlatform","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/BinaryAnalysisPlatform/bap/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}