BinaryAnalysisPlatform/bap

Issues

• RISCV PLT call causes subsequent instructions to be lost.

  #1606 opened 15 days ago by matt-j-griffin
  0

• The bap check program takes too long

  #1604 opened a month ago by wudehua2016
  0

• Examples of Primus execution

  #1601 opened 3 months ago by Hirrolot
  1

• ghidra_disasm.cpp:10:10: fatal error: ghidra/loadimage.hh: No such file or directory

  #1598 opened 4 months ago by wudehua2016
  2

• Compatibility for /lib64 suffix

  #1594 opened 9 months ago by redin0s
  1

• Fedora 38 x86_64: `'opam install -vv bap' failed.`

  #1596 opened 4 months ago by rickhg12hs
  2

• failed to load plugin "primus-symbolic-executor"

  #1592 opened 10 months ago by anzosasuke
  0

• Dependency problem

  #1591 opened 10 months ago by zu1fIq4r
  0

• String Theory (SMT-like) support

  #1590 opened a year ago by XVilka
  1

• Bugs found in BAP float operations

  #1577 opened a year ago by Heersin
  1

• monads: `core_kernel.rope` no longer exists in v0.16

  #1589 opened a year ago by bmourad01
  3

• bap-common package not found from opam

  #1587 opened a year ago by SunghoLee
  0

• undefined symbol: Z3_mk_lambda

  #1586 opened a year ago by duplys
  0

• Bugs found on recipes

  #1579 opened a year ago by anzosasuke
  0

• Runtime Failure with Spectre Recipe

  #1576 opened a year ago by NicolaasWeideman
  1

• relax the z3 constraint

  #1568 opened a year ago by ivg
  0

• OCaml 5.0 support / Dune

  #1561 opened 2 years ago by kit-ty-kate
  2

• llvm:symbol-entry errors on llvm 11.0 with x86-64 binaries compiled on windows

  #1553 opened 2 years ago by matt-j-griffin
  1

• deb packages are missing dependencies on Kali Linux

  #1269 opened 3 years ago by Shivanshu10
  4

• Missing llvm Problem

  #1527 opened 2 years ago by Troy-Cao
  4

• Can bap analyze text assembly file?

  #1534 opened 2 years ago by ya0guang
  2

• Failed BAP installation

  #1512 opened 2 years ago by Troy-Cao
  3

• Monad Transformer Stack

  #1354 opened 2 years ago by addap
  4

• [ERROR] The compilation of conf-binutils.0.2 failed at "ocaml find-binutils.ml".

  #1508 opened 2 years ago by Troy-Cao
  2

• Version 2.4 is missing at docker hub

  #1474 opened 2 years ago by Cryspia
  3

• Installing BAP on an aarch64 Mac M1

  #1459 opened 2 years ago by arunnadukandi
  2

• Move intrinsic calls outside of the BIL plugin

  #1362 opened 3 years ago by fortunac
  1

• Cannot `opam install bap-llvm` when system only has `ncurses`

  #1261 opened 2 years ago by Pamplemousse
  4

• bap-llvm broken on Arch llinux dockerfile

  #1334 opened 2 years ago by StarGazerM
  2

• bap fails to disassembled MIPS MSB binaries

  #1407 opened 2 years ago by bin2415
  3

• LLVM 13 Support

  #1385 opened 2 years ago by larkwiot
  4

• I want to get the system call graph of the executable. Is this option available？I know -dcallgraph can get the call graph.

  #1372 opened 3 years ago by lkpama
  4

• windows

  #1383 opened 3 years ago by securityforsoftware
  2

• Can the tool perform dynamic taint analysis？

  #1368 opened 3 years ago by wjcif11
  2

• Stack overflow for some binaries

  #1267 opened 3 years ago by deetch
  5

• How to produce phi terms

  #1315 opened 3 years ago by mateosss
  3

• Node.update appears broken

  #1339 opened 3 years ago by cemerick
  3

• Discrepancy between some llvm and ghidra output for armeb

  #1335 opened 3 years ago by FactionCube
  4

• Unable to resolve function external:malloc with ARM Big Endian

  #1324 opened 3 years ago by FactionCube
  4

• Steps to get bap source tree available for navigation in ocaml lsp

  #1322 opened 3 years ago by sidkshatriya
  14

• BAP binary package missing dependencies

  #1317 opened 3 years ago by dbrumley
  1

• ARM Big-endian targets are not supported

  #1299 opened 3 years ago by FactionCube
  5

• r2taint is not working with corefiles

  #1260 opened 3 years ago by s0i37
  6

• emulating BIL?

  #1292 opened 3 years ago by aug2uag
  4

• Can it do taint-analysis for windows 64bit exe?

  #1305 opened 3 years ago by B16090631
  2

• x86 is missing dependency on Str library

  #1284 opened 3 years ago by grsnl
  1

• Lifted BIR looks different when loading multiple binaries

  #1216 opened 4 years ago by fortunac
  1

• Symbolic command line args

  #1257 opened 4 years ago by bgz25
  0

• the lisp typechecker is missing type errors

  #1223 opened 4 years ago by ivg
  0

• Observation.watch for "machine-fork" is not working

  #1232 opened 4 years ago by bgz25
  0