Search results

Unexpected extraction of 0 bits

Status: Open.

#1631 In BinaryAnalysisPlatform/bap;

·joaorsmatos02 openedon Jul 1, 2025

missing implementation for static primus lisp semantics while loop

Status: Open.

#1623 In BinaryAnalysisPlatform/bap;

·ivg openedon Mar 21, 2025

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

Status: Open.

#1611 In BinaryAnalysisPlatform/bap;

·basavesh openedon Aug 12, 2024

RISCV PLT call causes subsequent instructions to be lost.

Status: Open.

#1606 In BinaryAnalysisPlatform/bap;

·matt-j-griffin openedon Jun 11, 2024

String Theory (SMT-like) support

Status: Open.

#1590 In BinaryAnalysisPlatform/bap;

·XVilka openedon Jul 31, 2023

monads: <code>core_kernel.rope</code> no longer exists in v0.16

Status: Open.

#1589 In BinaryAnalysisPlatform/bap;

·bmourad01 openedon Jun 23, 2023

Bugs found on recipes

bug

Status: Open.

#1579 In BinaryAnalysisPlatform/bap;

·anzosasuke openedon Feb 10, 2023

Bugs found in BAP float operations

Status: Open.

#1577 In BinaryAnalysisPlatform/bap;

·Heersin openedon Feb 3, 2023

relax the z3 constraint

Status: Open.

#1568 In BinaryAnalysisPlatform/bap;

·ivg openedon Jan 10, 2023

OCaml 5.0 support / Dune

Status: Open.

#1561 In BinaryAnalysisPlatform/bap;

·kit-ty-kate openedon Nov 14, 2022

Move intrinsic calls outside of the BIL plugin

Status: Open.

#1362 In BinaryAnalysisPlatform/bap;

·fortunac openedon Nov 11, 2021

deb packages are missing dependencies on Kali Linux

Status: Open.

#1269 In BinaryAnalysisPlatform/bap;

·Shivanshu10 openedon Feb 14, 2021