Open-Source Projects

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

• Wrong names for PowerPC registers are fixed

The source code can be downloaded from here

What's new?

• Tool Functions: Updated the MicroTESK core to 2.5.0
• Test and Debug: Used QEMU4V 0.3.4 for running tests

Download: https://forge.ispras.ru/projects/microtesk-powerpc/files

MicroTESK for PowerPC 0.0.* distribution packages have been re-uploaded to https://forge.ispras.ru/projects/microtesk-powerpc/files w/ the build base version having been set.

What's new?

• Tool Functions: Updated the MicroTESK core to 2.5.0
• Test and Debug: Used QEMU4V 0.3.4 for running tests

Download: https://forge.ispras.ru/projects/microtesk-mips64/files

What's new?

• Tool Functions: Updated the MicroTESK core to 2.5.0
• Binary Samples: Added binaries samples w/ their C sources (see the arch/riscv/binaries directory)
• Test and Debug: Used QEMU4V 0.3.4 for running tests

Download: https://forge.ispras.ru/projects/microtesk-riscv/files

MicroTESK for RISC-V 0.0.* distribution packages have been re-uploaded to https://forge.ispras.ru/projects/microtesk-riscv/files w/ the build base version having been set.

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)
  • Introduced a new option --coverage-log for tracking test coverage
  • Enabled a possibility to generate test coverage reports in Aspectrace format (see https://forge.ispras.ru/projects/aspectrace)
• Used the QEMU4V 0.3.4 simulator for running tests

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

• General improvements

The source code can be downloaded from here

• The project has been updated from Java 8.0 to Java 11.0.5.
• Gradle has been updated from 4.10.3 to 5.0.

The library can be downloaded from here:
https://forge.ispras.ru/projects/aspectrace/files