Skip to content

Pull requests: BinaryAnalysisPlatform/bap

New pull request New
Clear current search query, filters, and sorts
11 Open 1,114 Closed
11 Open 1,114 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

fixes docker publish workflow
#1629 by ivg was merged Apr 29, 2025 Loading…
adds semantics for pmuludq and extends AVX/AVX2 pmuldq
#1628 by ivg was merged Apr 29, 2025 Loading…
fixes nightly tests and ghidra caching
#1627 by ivg was merged Apr 22, 2025 Loading…
upgrades to ubuntu-latest and adds ghidra installation script
#1626 by ivg was merged Apr 21, 2025 Loading…
adds semantics for [v]{and[n],or,xor}p{d,s} instructions
#1625 by ivg was merged Apr 21, 2025 Loading…
adds semantics and supporting code for several x86 instructions
#1622 by ivg was merged Mar 17, 2025 Loading…
@ivg
3
fixes nightly and weekly regression tests, updates OCaml versions
#1620 by ivg was merged Mar 6, 2025 Loading…
fixes dockerfiles to address change in the default OCaml version
#1619 by ivg was merged Mar 6, 2025 Loading…
attempts to fix the nightly and weekly tests
#1618 by ivg was merged Mar 5, 2025 Loading…
1
makes bap-extra packages optional to facilitate local development
#1617 by ivg was merged Mar 5, 2025 Loading…
1
relaxes x86 operands deconstructor to address llvm changes
#1615 by ivg was merged Feb 28, 2025 Loading…
1
Ensure compatibility with camlzip versions before 1.12
#1610 by bmourad01 was merged Aug 2, 2024 Loading…
Fix use of camlzip in byteweight
#1609 by bmourad01 was merged Jul 29, 2024 Loading…
3
Fix a few typos in lib/bap_primus/bap_primus.mli
#1600 by hirrolot was merged Apr 24, 2024 Loading…
1
better code and fixes potential debugging headache
#1599 by pranjalsingh008 was merged Feb 26, 2024 Loading…
2
Fixes for LLVM 17 (and 16)
#1597 by bmourad01 was merged Feb 16, 2024 Loading…
1
Fix compatibility with LLVM 16
#1595 by katrinafyi was closed Feb 16, 2024 Loading…
1
Support linking with LLVM shared libraries
#1593 by drvink was merged Feb 16, 2024 Loading…
7
Add (C_)BGE and C_SW and correct C_LUI RISC-V Semantics
#1588 by matt-j-griffin was merged Jun 9, 2023 Loading…
2
Adds compatibility with LLVM 15
#1585 by bmourad01 was merged Jun 8, 2023 Loading…
4
Corrects array-set macro for Primus Lisp.
#1584 by A-Benlolo was merged Apr 27, 2023 Loading…
1
Fixes a few bugs in the Thumb semantics
#1582 by bmourad01 was merged Mar 8, 2023 Loading…
1
Adds some more missing POSIX API definitions
#1581 by bmourad01 was merged Mar 8, 2023 Loading…
1
Fixes a typo in the Primus Lisp IEEE754 semantics
#1580 by bmourad01 was merged Feb 17, 2023 Loading…
1
fixes a bug in instruction encoding propagation
#1578 by bmourad01 was merged Feb 7, 2023 Loading…
1
ProTip! Mix and match filters to narrow down what you’re looking for.