Download Latest Version sigs.tar.gz (2.9 MB)
Email in envelope

Get an email when there's a new version of Binary Analysis Platform

Home / v2.4.0
Name Modified Size InfoDownloads / Week
Parent folder
libbap-dev-2.4.0.tgz 2021-12-08 32.9 kB
0
bap-2.4.0-2.x86_64.rpm 2021-12-08 222.9 MB
0
bap-2.4.0.tgz 2021-12-08 224.2 MB
0
bap_2.4.0.deb 2021-12-08 134.8 MB
0
libbap-2.4.0-2.x86_64.rpm 2021-12-08 14.2 MB
0
libbap-2.4.0.tgz 2021-12-08 14.5 MB
0
libbap-dev-2.4.0-2.x86_64.rpm 2021-12-08 37.6 kB
0
libbap-dev_2.4.0.deb 2021-12-08 25.5 kB
0
libbap_2.4.0.deb 2021-12-08 9.8 MB
0
sigs.tar.gz 2021-12-08 2.9 MB
0
sigs.zip 2021-12-08 2.9 MB
0
README.md 2021-12-08 2.9 kB
0
v2.4.0.tar.gz 2021-12-08 1.4 MB
0
v2.4.0.zip 2021-12-08 1.9 MB
0
Totals: 14 Items   629.7 MB 0

Features

  • [#1325] adds armeb abi
  • [#1326] adds experimental Ghidra disassembler and lifting backend
  • [#1332] adds the flatten pass
  • [#1341] adds context variables to the knowledge base
  • [#1343] adds register aliases to the Core Theory
  • [#1358] adds LLVM 12 support
  • [#1360] extends the knowledge monad interface
  • [#1363] adds forward-chaining rules and Primus Lisp methods
  • [#1364] adds a generic byte pattern matcher based on Ghidra
  • [#1365] adds support for the Thumb IT blocks
  • [#1369] adds some missing t2LDR.-i12 instructions to the Thumb lifter

Improvements

  • [#1336] improves the main function discovery heuristics
  • [#1337] adds more Primus Lisp stubs and fixes some existing
  • [#1342] uses context variables to store the current theory
  • [#1344] uses the context variables to store the Primus Lisp state
  • [#1355] tweaks symbolization and function start identification facilities
  • [#1353] improves arm-family support
  • [#1356] stops proposing aliases as potential subroutine names
  • [#1361] rewrites knowledge and primus monads
  • [#1370] tweaks Primus Lisp' method resolution to keep super methods
  • [#1375] error handling and performance tweaks
  • [#1378] improves reification of calls in the IR theory (part I)
  • [#1379] improves semantics of some ITT instructions
  • [#1380] improves reification of calls in the IR theory (part II)

Bug Fixes

  • [#1328] fixes C.ABI.Args popn and align_even operators
  • [#1329] fixes frame layout calculation in the Primus loader
  • [#1330] fixes the address size computation in the llvm backend
  • [#1333] fixes and improves label handling in the IR theor
  • [#1338] fixes core:eff theory
  • [#1340] fixes the Node.update for graphs with unlabeled nodes
  • [#1347] fixes a knowledge base race condition in the run plugin
  • [#1348] fixes endianness in the raw loader
  • [#1349] short-circuits evaluation of terms in Bap_main.init
  • [#1350] fixes variable rewriter and some Primus Lisp symbolic functions
  • [#1351] fixes and improves aarch64 lifter
  • [#1352] fixes several Primus Lisp stubs
  • [#1357] fixes some T32 instructions that are accessing to PC
  • [#1359] fixes handling of let-bound variables in flatten pass
  • [#1366] fixes a bug in the cmp semantics
  • [#1374] fixes handling modified immediate constants in ARM T32 encoding
  • [#1376] fixes fresh variable generation
  • [#1377] fixes the IR theory implementation

Tooling

  • [#1319] fixes the shared folder in deb packages
  • [#1320] removes sudo from postinst and postrm actions in the deb packages
  • [#1321] enables push flag in the publish-docker-image action
  • [#1323] fixes the ppx_bap version in the dev-repo opam file
  • [#1331] fixes the docker publisher, also enables manual triggering
  • [#1327] fixes a typo in the ubuntu dockerfiles
  • [#1345] fixes bapdoc
  • [#1346] nightly tests are failing due to a bug upstream
Source: README.md, updated 2021-12-08