-
Notifications
You must be signed in to change notification settings - Fork 32
/
NEWS
60 lines (49 loc) · 2.43 KB
/
NEWS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
New in BAP 0.8:
* Support for x86-64 lifting.
Most common usermode x86-64 instructions should be supported. The
lifting architecture is selected automatically, so lifting x86-64
code should "just work".
* A new CFG recovery framework.
This feature allows various algorithms to identify regions of binary
code to lift, rather than relying on linear disassembly. Initial
CFG recovery algorithms include recursive descent and VSA. The CFG
recovery framework is still in beta, and can be accessed using the
get_functions command.
* Removal of libVEX.
BAP no longer relies on libVEX at all. Previous versions of BAP
would lift unknown instructions to the VEX IL using libVEX, and then
convert the resulting VEX IL to BIL. This feature was rarely used,
since BAP has support for most x86 instructions.
New in BAP 0.7:
* New function identification heuristics in get_functions for stripped binaries
* Serialized output formats for easy parsing of BIL outside of BAP
* Support for ocaml 4.00 (see INSTALL)
* Support for OS X as a host platform (see INSTALL)
* New support for streaming symbolic execution of traces
* New VC framework
* New VC implementations: FWP and PWP
* Misc. bug fixes and performance improvements to SMT printers
* Misc. improvements to x86 lifting
* Steensgard loop nesting forest algorithm
* Improved loop unrolling for irreducible loops using Steensgard's algorithm
New in BAP 0.6:
* General bug fixes to PIN trace tool and trace reading API
* Major bug fix for PIN tool on Windows that fixes taint analysis
New in BAP 0.5:
* Aggressive dead code elimination
* New trace format using google protobuf
* LLVM-based JIT and regular compilation of BAP IL
* BAP has zero wrong instructions on its x86 nightly tests (but still some unimplemented)
New in older versions of BAP:
* Temporaries introduced in SSA can be removed when converting back to the AST.
* Added constant folding and algebraic simplifications to SCCVN.
* Added a simple interface in Ssa_simp to apply all safe optimizations easily.
* Changed REG_{1,8,16,32,64} to Reg of int so there is less special casing.
* Added Control Dependence Graphs again.
* Syntax errors now include line numbers.
* Added memory2array.
* Makefile now recompiles utils when library changes.
* Removed unneeded jump instructions when lifting code.
* Fixed a problem in Cfg_ast.to_prog.
* Fixed a bug in unsigned division.
* Temporarily stopped using -pack to work around problems with ocamldebug.