Hacker GitHub

← All repos

BinaryAnalysisPlatform/bap

View on GitHub ↗ ★ 2,264 OCaml

Binary Analysis Platform

10 mentions on Hacker News by 6 people: 1 story, 9 comments · first 2015-04-08 · latest 2020-08-26

Mentions per year 10 mentions · busiest year 2018 (4)
20082026
AllStoriesComments NewestTopOldest
  1. I use OCaml at work. We work with the Binary Analysis Platform https://github.com/BinaryAnalysisPlatform/bap which is a pretty essential part of what we do. In general, OCaml seems somewhat popular in the area of compilers and program…
    comment by philzook · 2020-08-26 · in Draft of OCaml Scientific Computing book
  2. …ran on real binaries, not the much less complicated ones developed specifically for the challenge. https://github.com/BinaryAnalysisPlatform/bap
    comment by dtornabene · 2020-05-05 · in A hands-on introduction to static code analysis
  3. …of fascinating research done using or on the platform itself. https://practicalbinaryanalysis.com/ https://github.com/BinaryAnalysisPlatform/bap Cool fact about BAP, there's a really weird but very cool embedded lisp that allows you to…
    comment by dtornabene · 2019-05-21 · in A Survey of Symbolic Execution Techniques (2018)
  4. …believe that Sleigh might become a standard de facto for instruction semantics specification. [1]: https://github.com/BinaryAnalysisPlatform/bap/issues/929
    comment by ivg_t · 2019-03-06 · in Ghidra, NSA's reverse-engineering tool
  5. >is basically the first real competitor to IDA Pro What do you think of BAP[1]? [1] https://github.com/BinaryAnalysisPlatform/bap
    comment by ernst_klim · 2019-03-06 · in Ghidra, NSA's reverse-engineering tool
  6. …some clever (maybe lazy) implementation using just Bigarray? BAP also has something like this in https://github.com/BinaryAnalysisPlatform/bap/blob/master/li... You could ask about BAP in general on https://discuss.ocaml.org/ especially…
    comment by ernst_klim · 2018-07-12 · in Unix system programming in OCaml (2014)
  7. …of Bytes, Bigarrays or Arrays? You are doing it wrong, take a look at BAP's memory representation: https://github.com/BinaryAnalysisPlatform/bap/tree/master/li... https://binaryanalysisplatform.github.io/bap/api/master/argo... Looked at…
    comment by ernst_klim · 2018-07-12 · in Unix system programming in OCaml (2014)
  8. …for that. Take a look at BAP, it heavily uses OCaml features and implements a beautiful design: https://github.com/BinaryAnalysisPlatform/bap https://binaryanalysisplatform.github.io/bap/api/master/argo... I'm not convinced that OCaml is…
    comment by ernst_klim · 2018-07-12 · in Unix system programming in OCaml (2014)
  9. There are other similar platforms (listing biggest ones): 1. BAP (OCaml) - https://github.com/BinaryAnalysisPlatform/bap 2. BinCAT (OCaml) - https://github.com/airbus-seclab/bincat 3. radare2 (C) + radeco (Rust)(WIP) -…
    comment by xvilka · 2018-05-21 · in Angr – User-friendly binary analysis platform
  10. ▲ 4
    Binary Analysis Platform and Reverse Engineering Tool Written in OCaml
    story by ignoramous · 2015-04-08 · 0 comments