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

44 Open 393 Closed
44 Open 393 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
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
bap:symbolic-executor not catching heap overflow primus symbolic-executor
#1194 opened Jul 29, 2020 by JoWhitehead5751
@ivg
2
Adding ARM Vector Floating Point (VFP) support
#1193 opened Jul 29, 2020 by Phosphorus15
Handling the ZERO register of MIPS
#1176 opened Jul 14, 2020 by Enkelmann
add knowledge manipulation commands
#1169 opened Jul 2, 2020 by ivg
@ivg
optimize knowledge serialization
#1168 opened Jul 2, 2020 by ivg
@ivg
remove symbolic information from the testsuite CI testsuite
#1161 opened Jun 30, 2020 by ivg
@gitoleg
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
JIT compilation for Primus/Core Theory? discuss
#1150 opened Jun 24, 2020 by XVilka
1
implement non-trivial argument passing semantics primus
#1148 opened Jun 23, 2020 by ivg
@ivg
functions are doubling when DWARF information is available bug
#1145 opened Jun 23, 2020 by ivg
@gitoleg
the bap:taint-analyzer-base and derives systems are not setting the policy
#1144 opened Jun 23, 2020 by ivg
@ivg
optimize functional tests CI testsuite
#1136 opened Jun 17, 2020 by ivg
1
@gitoleg
1
implement support for R_X86_64_GLOB_DAT relocations
#1135 opened Jun 17, 2020 by ivg
@gitoleg
1
incorrect tagging of the project memory bug
#1125 opened Jun 12, 2020 by ivg
@gitoleg
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
Support OCaml 4.10
#1110 opened Jun 3, 2020 by XVilka
1
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
#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
11
ProTip! Adding no:label will show everything without a label.
You can’t perform that action at this time.