The Wayback Machine - https://web.archive.org/web/20210820003045/https://github.com/BinaryAnalysisPlatform/bap/issues
Skip to content

/ 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

33 Open 426 Closed
33 Open 426 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
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Node.update appears broken
#1339 opened Aug 11, 2021 by cemerick
Discrepancy between some llvm and ghidra output for armeb
#1335 opened Jul 28, 2021 by FactionCube
4
bap-llvm broken on Arch llinux dockerfile
#1334 opened Jul 15, 2021 by StarGazerM
How to produce phi terms
#1315 opened May 25, 2021 by mateosss
2
deb packages are missing dependencies on Kali Linux
#1269 opened Feb 14, 2021 by Shivanshu10
2
Stack overflow for some binaries bug urgent
#1267 opened Jan 25, 2021 by deetch
4
Cannot opam install bap-llvm when system only has ncurses
#1261 opened Dec 21, 2020 by Pamplemousse
3
Symbolic command line args
#1257 opened Dec 7, 2020 by bgz25
add functional tests for check-value analysis CI testsuite
#1157 opened Jun 30, 2020 by ivg
@gitoleg
add functional tests to memcheck analysis CI testsuite
#1156 opened Jun 30, 2020 by ivg
@gitoleg
bapbuild doesn't work when the target is not in the same folder UX
#1151 opened Jun 24, 2020 by ivg
implement non-trivial argument passing semantics primus
#1148 opened Jun 23, 2020 by ivg
@ivg
the eval-cond Primus signal is broken lisp primus
#1124 opened Jun 12, 2020 by ivg
@ivg
1
the symbolic-executor requires --run-in-iso symbolic-executor
#1118 opened Jun 11, 2020 by ivg
@ivg
symbols in MACH-O binaries are not demangled macho
#1117 opened Jun 11, 2020 by jinwenhui93
7
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
Fall through edge of call instructions
#1080 opened Mar 11, 2020 by bin2415
12
make channels dynamically scoped in Primus Lisp
#1058 opened Feb 17, 2020 by ivg 2.2.0
Variable Recovery help wanted
#1056 opened Feb 14, 2020 by ZhangZhuoSJTU
5
add Primus Lisp IO test case
#1052 opened Feb 13, 2020 by ivg 2.2.0
@gitoleg
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 2.2.0
Support System Z architecture help wanted
#1018 opened Nov 13, 2019 by XVilka
Creating the reasoning and query system about graphs, blocks and semantics help wanted
#995 opened Sep 24, 2019 by XVilka
2
ProTip! Adding no:label will show everything without a label.