Project

General

Profile

Task #9907

Проверка инструмента на примерах из MicroTESK for RISC-V

Added by Alexander Kamkin 7 days ago.

Status:
New
Priority:
Normal
Assignee:
Start date:
11/08/2019
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

В проект MicroTESK for RISC-V (каталог binaries) добавлены примеры аннотированных Си-программ (euclid, idiv, memset, sum), а также соответствующие бинарники и результаты их анализа (smt2 и jason).

Предлагаю проверить работоспособность инструмента и включить результаты в статью.

Добавление новых примеров приветствуется.

Also available in: Atom PDF