Skip to content

Issues: BinaryAnalysisPlatform/bap

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

34 Open 453 Closed
34 Open 453 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Examples of Primus execution
#1601 opened Apr 3, 2024 by Hirrolot
1
Compatibility for /lib64 suffix
#1594 opened Sep 26, 2023 by redin0s
1
failed to load plugin "primus-symbolic-executor"
#1592 opened Aug 21, 2023 by anzosasuke
Dependency problem
#1591 opened Aug 15, 2023 by zu1fIq4r
String Theory (SMT-like) support
#1590 opened Jul 31, 2023 by XVilka
1
monads: core_kernel.rope no longer exists in v0.16
#1589 opened Jun 23, 2023 by bmourad01
3
bap-common package not found from opam
#1587 opened Jun 2, 2023 by SunghoLee
undefined symbol: Z3_mk_lambda
#1586 opened May 9, 2023 by duplys
Bugs found on recipes bug
#1579 opened Feb 10, 2023 by anzosasuke
Bugs found in BAP float operations
#1577 opened Feb 3, 2023 by Heersin
@ivg
1
Runtime Failure with Spectre Recipe
#1576 opened Jan 24, 2023 by NicolaasWeideman
1
relax the z3 constraint
#1568 opened Jan 10, 2023 by ivg
OCaml 5.0 support / Dune
#1561 opened Nov 14, 2022 by kit-ty-kate
2
llvm:symbol-entry errors on llvm 11.0 with x86-64 binaries compiled on windows
#1553 opened Sep 28, 2022 by matt-j-griffin
1
Move intrinsic calls outside of the BIL plugin
#1362 opened Nov 11, 2021 by fortunac
1
deb packages are missing dependencies on Kali Linux
#1269 opened Feb 14, 2021 by Shivanshu10
4
Symbolic command line args
#1257 opened Dec 7, 2020 by bgz25
bapbuild doesn't work when the target is not in the same folder UX
#1151 opened Jun 24, 2020 by ivg
the symbolic-executor requires --run-in-iso symbolic-executor
#1118 opened Jun 11, 2020 by ivg
@ivg
channels are never closed in Lisp Channel IO bug
#1096 opened May 6, 2020 by ivg
@gitoleg
Contributor/developer guide
#1088 opened Apr 1, 2020 by XVilka
make channels dynamically scoped in Primus Lisp
#1058 opened Feb 17, 2020 by ivg
Variable Recovery help wanted
#1056 opened Feb 14, 2020 by ZhangZhuoSJTU
5
switch to Unix filedesc in Primus Lisp IO module
#1050 opened Feb 13, 2020 by ivg
@gitoleg
restore let-normalization, revise BIL normal forms
#1031 opened Jan 6, 2020 by ivg
ProTip! What’s not been updated in a month: updated:<2024-04-08.