Hacker GitHub

← All repos

airbus-seclab/bincat

View on GitHub ↗ ★ 1,882 OCaml

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

4 mentions on Hacker News by 3 people: 2 stories, 2 comments · first 2017-06-07 · latest 2022-01-14

Mentions per year 4 mentions · busiest year 2017 (1)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Binary code static analyser, with IDA integration
    story by JNRowe · 2022-01-14 · 0 comments
  2. …https://github.com/facebook/flow [2] https://fbinfer.com/ [3] https://github.com/facebook/infer [4] https://github.com/airbus-seclab/bincat [5] http://frama-c.com/
    comment by xvilka · 2019-10-30 · in Machine and Deep Learning with OCaml Natively
  3. …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) - https://github.com/radare/radare2 +…
    comment by xvilka · 2018-05-21 · in Angr – User-friendly binary analysis platform
  4. ▲ 2
    BinCAT: Binary code static analyser, with IDA integration
    story by ingve · 2017-06-07 · 0 comments