Project

General

Profile

News

Trace Matcher: Trace Matcher 0.1.9 released

Added by Sergey Smolov 11 months ago

The new release includes the following changes:

  • Migration to Python 3;
  • Tool docs are rewritten into Markdown format;
  • Build system uses Gradle 4.10.3;
  • Bugfixes and improvements.

The source code package can be downloaded here
The complete list of closed issues is available here

MicroTESK: MicroTESK 2.5.0 released

Added by Alexander Kamkin 11 months ago

What's new?

  • Introduced new internal representation, so-called MIR (Middle-level [or MicroTESK] IR)
    • Redesigned the constraint generator (for mark-based situations)
    • Redesigned the symbolic executor (for binary code analysis)
  • Unified the directives (alignment, data definition, and labels) for .text and .data sections:
    • Enabled a possibility to define data in .text
    • Implemented new directives: .balign, .p2align, and .option
    • Refactored the code/data allocation logic
  • Implemented a simple instruction-level coverage tracker (experimental)
  • Used the QEMU4V 0.3.4 simulator for running tests

Download: http://forge.ispras.ru/projects/microtesk/files

(11-20/340)

Also available in: Atom