Change log

Every notable change to the REVEN project will be documented in this file.

1.3.1 - 2016-05-25

Does not break scenario, save or python compatibility.

Added

• Python API: low-level API for launcher: project manipulation & scenario creation.

Changed

• Python API: start_execution now accepts inspectors

Fixed

• Fix "binaries not mapped" bug due to a change in dump_process for windows.
• Python API: fixed ExecutionProgress's last_point_index property
• Cleaner cron job used to chown /tmp/reven to root, breaking further executions.

1.3.0 - 2016-05-02

Added

• New Python API based on the previous, low-level api. It simplifies many common uses, and wraps specific knowledge into a much more pythonic API.
• Native support for PDB files, we don't require converting them into our own format anymore.

Changed

• Low level python renamed from reven to reven_api.
• Huge improvements on the FPU edge cases and flag management.
• Improvements on SSE edge cases as well as ~10 new instructions implemented.
• MMU is now closer to actual hardware.
• Better handling of invalid instructions.
• Matching between a binary file & its PDB is now based on the GUID & version number, as intended.

Fixed

• Various bugs fixed on hardware sync.
• Two bugs fixed on VBox, including a crash on early VNC connection.
• Axion UI bugs fixed.
• Fixes and improvements to the, still unsupported, tainter graph experimental feature.

1.2.0 - 2015-12-02

Added

• Gdbstub plugin provides a gdb-compatible interface for communicating with REVEN.
• QbSync plugin now supported: enables synchronisation between IDA and Axion.
• PCAP extraction & sync with Wireshark.
• RvnKd: create a core dump file which WinDBG can read.
• (Experimental) Tainter Graph: a more interactive taint procedure.
• (Experimental) Strace-like: parses the execution trace and analyses the system calls.
• Added missing SSE instructions from common programs.
• Handle multiple anti-disassembly tricks used in obfuscated binaries.

Changed

• FPU is more precise on exception flags.

Fixed

• Various bugs fixed on hardware sync.

1.1.0 - 2015-10-27

Changed

• multiple improvements on emulation and scenario creation.

Fixed

• Fix python API unusable types.

1.0.0 - 2015-03-30

• Initial release.