Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 17, 2023

• Fixes a typo in the Primus Lisp IEEE754 semantics (BinaryAnalysisPlatform#1580)

  bmourad01

  authored
  e2ad80c

  Copy full SHA for e2ad80c

Commits on Feb 7, 2023

• Relax the restrictions on the encoding of destinations (BinaryAnalysisPlatform#1578)

  bmourad01

  authored
  32a648b

  Copy full SHA for 32a648b

Commits on Jan 12, 2023

• adds a missing module to the OASIS specification of bap-plugins (BinaryAnalysisPlatform#1574)

  Show description for 7d79f7f
  ivg

  authored
  7d79f7f

  Copy full SHA for 7d79f7f

Commits on Jan 11, 2023

• loads packages before plugins to prevent failures in dune loader (BinaryAnalysisPlatform#1573)

  Show description for a26eade
  ivg

  authored
  a26eade

  Copy full SHA for a26eade

• allows to use bap instead of bap-std (BinaryAnalysisPlatform#1572)

  Show description for da48522
  ivg

  authored
  da48522

  Copy full SHA for da48522

• fixes installation from opam (BinaryAnalysisPlatform#1571)

  Show description for 0e20c8e
  ivg

  authored
  0e20c8e

  Copy full SHA for 0e20c8e

• improves bap-configurator key handling, publishes more config (BinaryAnalysisPlatform#1570)

  Show description for 4b40208
  ivg

  authored
  4b40208

  Copy full SHA for 4b40208

• deduplicates dune plugins and ignores empty plugins (BinaryAnalysisPlatform#1569)

  Show description for 244a5fb
  ivg

  authored
  244a5fb

  Copy full SHA for 244a5fb

Commits on Jan 10, 2023

• uses dune as the main build system (BinaryAnalysisPlatform#1565)

  Show description for cbdf732
  ivg

  authored
  cbdf732

  Copy full SHA for cbdf732

Commits on Jan 4, 2023

• allows bypassing checks when storing memory, uses it for relocations (BinaryAnalysisPlatform#1567)

  Show description for f995d28
  ivg

  authored
  f995d28

  Copy full SHA for f995d28

Commits on Dec 23, 2022

• Fixes the stub resolver tests (BinaryAnalysisPlatform#1564)

  Show description for 79fd1a2
  

  bmourad01

  and

  bmourad01

  authored
  79fd1a2

  Copy full SHA for 79fd1a2

Commits on Dec 19, 2022

• Expose Bap_var.sort_of_typ (BinaryAnalysisPlatform#1563)

  Show description for ce84c26
  bmourad01

  authored
  ce84c26

  Copy full SHA for ce84c26

Commits on Dec 13, 2022

• fixes the raw (non directory or zip, but file) recipes (BinaryAnalysisPlatform#1562)

  Show description for f21b437
  ivg

  authored
  f21b437

  Copy full SHA for f21b437

Commits on Dec 12, 2022

• Allows libraries to be allocated at non-conflicting address spaces (BinaryAnalysisPlatform#1559)

  Show description for 133dd23
  

  bmourad01

  and

  bmourad01

  authored
  133dd23

  Copy full SHA for 133dd23

Commits on Nov 10, 2022

• Fix not propagating term attrs in mangle_names during lifting (BinaryAnalysisPlatform#1556)

  Show description for 1077911
  

  bmourad01

  and

  bmourad01

  authored
  1077911

  Copy full SHA for 1077911

Commits on Nov 8, 2022

• Corrected primus_dictionary_main.ml (BinaryAnalysisPlatform#1558)

  Show description for 4cdae32
  A-Benlolo

  authored
  4cdae32

  Copy full SHA for 4cdae32

Commits on Oct 20, 2022

• Fix alloc size when passing --run-env (BinaryAnalysisPlatform#1557)

  Show description for 77d09fe
  

  bmourad01

  and

  bmourad01

  authored
  77d09fe

  Copy full SHA for 77d09fe

Commits on Oct 13, 2022

• Fix BFM in ARM Primus Lisp semantics. (BinaryAnalysisPlatform#1555)

  Show description for 6de4009
  katrinafyi

  authored
  6de4009

  Copy full SHA for 6de4009

Commits on Oct 7, 2022

• Adds the libraries parameter to the disassemble command (BinaryAnalysisPlatform#1547)

  Show description for 1484777
  

  bmourad01

  and

  bmourad01

  authored
  1484777

  Copy full SHA for 1484777

Commits on Oct 3, 2022

• Speeds up program-loader by ignoring terms that arent blks or subs (BinaryAnalysisPlatform#1554)

  Show description for 3db2748
  

  bmourad01

  and

  bmourad01

  authored
  3db2748

  Copy full SHA for 3db2748

Commits on Sep 16, 2022

• Fixes parsing of defsubst when a syntax is specified (BinaryAnalysisPlatform#1552)

  Show description for 345d13d
  

  bmourad01

  and

  bmourad01

  authored
  345d13d

  Copy full SHA for 345d13d

Commits on Sep 7, 2022

• adds the release action for the 2.5.0 docker image (BinaryAnalysisPlatform#1551)

  Show description for 52f1e34
  ivg

  authored
  52f1e34

  Copy full SHA for 52f1e34

Commits on Aug 31, 2022

• fixes copy and blitting implementations in regular (BinaryAnalysisPlatform#1550)

  Show description for 7eb7cbf
  ivg

  authored
  7eb7cbf

  Copy full SHA for 7eb7cbf

Commits on Aug 30, 2022

• prevents double-loading of the bap packages in the toplevel (BinaryAnalysisPlatform#1549)

  Show description for 36d8dfd
  ivg

  authored
  36d8dfd

  Copy full SHA for 36d8dfd

Commits on Aug 19, 2022

• restores unit tracking in the plugin facility (BinaryAnalysisPlatform#1548)

  Show description for 90d3d0e
  ivg

  authored
  90d3d0e

  Copy full SHA for 90d3d0e

Commits on Aug 3, 2022

• KB-friendly functions in Bap.Std (BinaryAnalysisPlatform#1545)

  Show description for da02e32
  

  bmourad01

  and

  bmourad01

  authored
  da02e32

  Copy full SHA for da02e32

Commits on Aug 1, 2022

• makes RSP correction for x86 targets observable (BinaryAnalysisPlatform#1544)

  Show description for df03914
  ivg

  authored
  df03914

  Copy full SHA for df03914

Commits on Jul 28, 2022

• prevents IR block contraction on unconditional edges (BinaryAnalysisPlatform#1543)

  Show description for 17c94e3
  

  3 peopleauthored
  17c94e3

  Copy full SHA for 17c94e3

Commits on Jul 15, 2022

• fixes bap.top and baptop (BinaryAnalysisPlatform#1541)

  Show description for b8e12b3
  ivg

  authored
  b8e12b3

  Copy full SHA for b8e12b3

• bumps up the current version of bap to 2.6.0-alpha (BinaryAnalysisPlatform#1542)

  ivg

  authored
  a691de9

  Copy full SHA for a691de9

• adds Taint.Rel.{equal,compare} (BinaryAnalysisPlatform#1540)

  Show description for c807c40
  

  bmourad01

  and

  bmourad01

  authored
  c807c40

  Copy full SHA for c807c40

Commits on Jul 13, 2022

• enables compatibility with 32 bit OCaml (BinaryAnalysisPlatform#1539)

  Show description for 517db3d
  ivg

  authored
  517db3d

  Copy full SHA for 517db3d

• Fixes lifting of Thumb cbz instruction (BinaryAnalysisPlatform#1537)

  Show description for 41310f0
  

  bmourad01

  and

  bmourad01

  authored
  41310f0

  Copy full SHA for 41310f0

• starts the 2.6.0 release cycle (BinaryAnalysisPlatform#1538)

  ivg

  authored
  59a5a93

  Copy full SHA for 59a5a93

Commits on Jul 11, 2022

• bumps up the version and updates the change log (BinaryAnalysisPlatform#1536)

  ivg

  authored
  caae083

  Copy full SHA for caae083

Pagination

Previous

Next