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.

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

31 Open 413 Closed
31 Open 413 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
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
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Symbolic command line args
#1257 opened Dec 7, 2020 by bgz25
Lifted BIR looks different when loading multiple binaries
#1216 opened Sep 4, 2020 by fortunac
3
1
Handling the ZERO register of MIPS
#1176 opened Jul 14, 2020 by Enkelmann
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
handling of XDG_CACHE_DIR is broken in the cache plugin bug
#1109 opened Jun 2, 2020 by ivg
@gitoleg
1
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
ARMv8 (64bit) architecture support In Progress help wanted
#1087 opened Apr 1, 2020 by XVilka
1
Fall through edge of call instructions
#1080 opened Mar 11, 2020 by bin2415
12
rectify the configuration file location
#1066 opened Feb 27, 2020 by ivg
@gitoleg
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
4
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
1
Dalvik VM / DEX files support help wanted
#974 opened Aug 16, 2019 by XVilka
Add CI for Windows feature-request help wanted low-priority
#956 opened Jun 17, 2019 by XVilka
1
4
ProTip! Follow long discussions with comments:>50.
You can’t perform that action at this time.