Issues

• [x86] Incorrect destination register for VPSHUFDYmi

  BinaryAnalysisPlatform/bap#1636 · Filter by author jxors opened on May 19, 2026

• Trouble using ByteWeight

  BinaryAnalysisPlatform/bap#1634 · Filter by author infinitesteps opened on Aug 18, 2025

• Installing from opam relies on unavailable versions of llvm-config

  BinaryAnalysisPlatform/bap#1633 · Filter by author ErrWare opened on Jul 14, 2025

• Unexpected extraction of 0 bits

  BinaryAnalysisPlatform/bap#1631 · Filter by author joaorsmatos02 opened on Jul 1, 2025

• missing implementation for static primus lisp semantics while loop

  BinaryAnalysisPlatform/bap#1623 · Filter by author ivg opened on Mar 21, 2025

• Incomplete disassembly of a binary with ghidra-backend (vs default llvm-backend)

  BinaryAnalysisPlatform/bap#1611 · Filter by author basavesh opened on Aug 12, 2024
  1

• RISCV PLT call causes subsequent instructions to be lost.

  BinaryAnalysisPlatform/bap#1606 · Filter by author matt-j-griffin opened on Jun 11, 2024
  4

• String Theory (SMT-like) support

  BinaryAnalysisPlatform/bap#1590 · Filter by author XVilka opened on Jul 31, 2023
  1

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

  BinaryAnalysisPlatform/bap#1589 · Filter by author bmourad01 opened on Jun 23, 2023
  4

• Bugs found on recipes

  bug
  BinaryAnalysisPlatform/bap#1579 · Filter by author anzosasuke opened on Feb 10, 2023

• Bugs found in BAP float operations

  BinaryAnalysisPlatform/bap#1577 · Filter by author Heersin opened on Feb 3, 2023
  1

  

• relax the z3 constraint

  BinaryAnalysisPlatform/bap#1568 · Filter by author ivg opened on Jan 10, 2023

• OCaml 5.0 support / Dune

  BinaryAnalysisPlatform/bap#1561 · Filter by author kit-ty-kate opened on Nov 14, 2022
  4

• Move intrinsic calls outside of the BIL plugin

  BinaryAnalysisPlatform/bap#1362 · Filter by author fortunac opened on Nov 11, 2021
  1

• deb packages are missing dependencies on Kali Linux

  BinaryAnalysisPlatform/bap#1269 · Filter by author Shivanshu10 opened on Feb 14, 2021
  4

• Symbolic command line args

  BinaryAnalysisPlatform/bap#1257 · Filter by author bgz25 opened on Dec 7, 2020

• the symbolic-executor requires --run-in-iso

  symbolic-executor
  BinaryAnalysisPlatform/bap#1118 · Filter by author ivg opened on Jun 11, 2020
  

• channels are never closed in Lisp Channel IO

  bug
  BinaryAnalysisPlatform/bap#1096 · Filter by author ivg opened on May 6, 2020
  

• Contributor/developer guide

  BinaryAnalysisPlatform/bap#1088 · Filter by author XVilka opened on Apr 1, 2020

• Variable Recovery

  help wanted
  BinaryAnalysisPlatform/bap#1056 · Filter by author ZhangZhuoSJTU opened on Feb 14, 2020
  5

• switch to Unix filedesc in Primus Lisp IO module

  BinaryAnalysisPlatform/bap#1050 · Filter by author ivg opened on Feb 13, 2020
  

• restore let-normalization, revise BIL normal forms

  BinaryAnalysisPlatform/bap#1031 · Filter by author ivg opened on Jan 6, 2020

• Support System Z architecture

  help wanted
  BinaryAnalysisPlatform/bap#1018 · Filter by author XVilka opened on Nov 13, 2019

• Creating the reasoning and query system about graphs, blocks and semantics

  help wanted
  BinaryAnalysisPlatform/bap#995 · Filter by author XVilka opened on Sep 24, 2019
  2

• Dalvik VM / DEX files support

  help wanted
  BinaryAnalysisPlatform/bap#974 · Filter by author XVilka opened on Aug 16, 2019