v2.5.0

BinaryAnalysisPlatform/bap

版本发布时间: 2022-07-12 04:58:13

BinaryAnalysisPlatform/bap最新发布版本:v2.6.0-alpha(2023-01-07 09:19:49)

Features

#1390 adds the flattening pass to the library interface
#1389 adds insn-code to the Theory.Semantics clas
#1394 adds the Bitvec.modular function
#1395 adds LLVM 13/14 compatibility
#1408 adds support for mips64el target
#1409 adds the --print-missing option to print unlifed instructions
#1410 adds several new Primus Lisp primitives and new instructions
#1428 adds the monad choice interface to the knowledge base
#1429 refines the Theory.Target.matches and adds the matching function
#1434 adds arm unpredicated BL instruction
#1444 adds the x86/amd64 plt corrector component to the Primus base system
#1445 updates the Sub.compute_liveness function to handle SSA form
#1446 provides the new liveness analysis
#1452 implements pcode floating-point and special operators
#1457 adds optional join for Knowledge.Domain.mapping
#1461 enables v8.{1,2,3,4,5,6}a revisions for the aarch64 target
#1464 adds arbitrary-precision loopless clz and popcount to Primus Lisp
#1460 adds compatibility with Core_kernel >= 0.15
#1466 adds semantics for the x86 SSE floating-point instructions
#1469 adds the jump destination addresses/names to the assembly output
#1458 adds more aarch64 instructions
#1473 adds an --arm-features command-line option
#1476 implements the naming scheme for interrupts
#1479 reifies external subroutines and intrinsics into I
#1482 enables BIR subroutines without an explicit return
#1481 enables disabling the patterns plugin
#1483 implements floating-point intrinsic subroutines
#1488 adds compatibility with OCaml 4.14 and Core v0.15
#1489 adds some missing functionality to Primus Lisp POSIX
#1490 adds some missing C POSIX APIs
#1492 makes bit-twiddling operations easier to read and analyze
#1493 adds smart constructors and destructors to the C types library
#1491 adds semantics for the x86-64 popq instruction
#1497 extends the C.Abi library
#1498 adds the extended lvalue assignment to Primus Interpreter
#1499 makes BIL smart constructors smart
#1500 makes argument passing well-typed
#1503 reimplements C types printing functions
#1504 extends the demanglers library to the new targets infrastructure
#1505 rewrites x86 abi using the new infrastructure
#1511 implements some missing Thumb instructions
#1513 implements the x86_64 padd instructions
#1515 allows target overriding
#1516 adds armv8 BFM instructions
#1517 publishes Theory.Target.nicknames and extends Primus Contexts
#1519 extends Core Theory with target registration and lookup
#1520 adds the high-level calling convention specification language
#1521 reimplements x86 targets using the new infrastructure
#1522 reimplements ARM ABI and target specification
#1523 rewrites mips targets and abi
#1524 adds C data type layout
#1525 adds the pass by reference argument passing method
#1526 restructures powerpc targets and reimplements ppc32 eabi
#1529 makes the ABI processors usable programmatically

Bug Fixes

#1391 fixes ARM/Thumb movt semantics
#1396 fixes the path plugin loader path handling
#1414 fixes the pc value in pc-relative thumb ldr
#1420 fixes the low-level Disasm_expert.Basic.create function
#1421 fixes the core-theory plugin semantics tags
#1426 fixes arm predication
#1438 reads correctly unqualified system names
#1439 fixes a bug in the KB update function, adds new functions
#1448 fixes an accidental dependency on the bap-traces internal module
#1449 fixes unconditional pop with return in thumb
#1455 fixes register assignments in p-code semantics
#1462 fixes the cast-signed Primus Lisp primitive
#1463 fixes the arithmetic modulus in Primus Lisp primitives
#1465 fixes handling of jmp terms in the flatten pass
#1467 fixes a sporadic internal error in the cache garbage collector
#1468 fixes the relocation symbolizer incorrect handling of intrinsics
#1458 fixes aarch64 bitmask immediate encoding
#1486 fixes type unification on binary operation application
#1485 fixes little-endian MIPS disassembling
#1494 fixes the encoding of the comparison operators
#1496 fixes registers allocation in the abi specification DSL
#1502 fixes the bitvector order function
#1528 fixes armv4t name that was missing the arm prefix

Tooling

#1393 improves the Primus Lisp documentation generator
#1397 fixes the macOS CI build
#1399 updates the url of the testing repo to use the encrypted version
#1432 updates the docker image
#1435 selects specific llvm components for linking
#1447 updates to the git+https in the dockerfiles
#1470 corrects linking of Unix library in configure
#1478 fixes the opam/opam dev-repo protocol which broke the release action
#1480 adds an automation to build a docker image for the latest release
#1514 adds the mmap dependency

Improvements

#1386 adds missing ARM target ABI information
#1388 adds aliasing information for x86
#1392 adds an option to directly use ogre files as a loader
#1398 provides the assembly string as a promise (removes #undefined)
#1400 improves the computation of the instruction properties
#1401 improves the KB.Value merge operation
#1402 moves promises and theories into the core-theory plugin
#1403 moves knowledge base rules from the library to the plugin
#1404 improves the peformance of the byte patterns matcher (1/3)
#1405 improves the performance of bitvectors (2/3)
#1411 [optimization] do not store empty objects in the knowledge base
#1412 updates the KB version number and adds a few more microoptimizations
#1413 updates bap to latest OCaml, switches to newer bitstrings
#1415 switches to patricia trees in the KB implementation
#1416 Reimplements x86 bitscan and popcnt
#1418 uses the builtin clz function from base, instead of the custom one
#1417 relaxes the speculative disassembler constraints
#1419 allows bapbuild to work when bap and other defaults are not present
#1422 relaxes interpreters to allow ill-typed operations
#1425 applies ARM modified immediate (MIC) decoding in more places
#1423 reimplements clz using the branchless/loopless algorithm
#1427 removes unnecessary units from the knowledge base
#1430 refines and extends target definitions
#1431 partially upgrades byteweight to work with the modern bap
#1441 uses Allen's Interval Algebra in the KB.Value merge implementation
#1442 wraps proposals into with_empty and adds more guards
#1443 adds subinstruction contraction to improve the ghidra lifter output
#1433 adds mode events to traces
#1450 hushes bil lifters
#1451 removes falls-through from unconditional branches in IR reification
#1454 improves the setw function used
#1456 removes Thumb2 branches from the legacy ARM lifter
#1471 uses function starts as the entires when building the symtab
#1472 improves disassembler performance
#1475 unifies name generation for IR subroutines
#1477 removes the special Primus Lisp primitive
#1484 disables byteweight
#1487 reduces memory footprint
#1501 makes all C data type sizes a multitude of their alignment
#1506 optimizes encoding computation for x86
#1510 adds an example on how to create a monad transformer stack (#1354)
#1518 uses signed casts for promoting arguments
#1530 turns x86 endbr instructions into nops
#1531 adds patterns to recognize certain x86 endbr as function starts
#1532 improves the main subroutine discovery within glibc runtime
#1535 prevents knowledge conflicts on mangled names

相关地址：原始地址下载(tar) 下载(zip)

1、 bap-2.5.0-2.x86_64.rpm 207.51MB

2、 bap-2.5.0.tgz 208.94MB

3、 bap_2.5.0.deb 124.7MB

4、 libbap-2.5.0-2.x86_64.rpm 14.09MB

5、 libbap-2.5.0.tgz 14.37MB

6、 libbap-dev-2.5.0-2.x86_64.rpm 36.73KB

7、 libbap-dev-2.5.0.tgz 32.14KB

8、 libbap-dev_2.5.0.deb 24.8KB

9、 libbap_2.5.0.deb 9.78MB

10、 sigs.tar.gz 2.74MB

11、 sigs.zip 2.73MB

查看：2022-07-12发行的版本