Open-Source Projects

03/23/2021

04:17 PM MicroTESK Task #10764 (New): Поддержка алтернативного формата вывода SMT-LIB представления машинного кода

Для использования в рамках задачи SyGuS необходима поддержка формата вывода базовых блоков машинного кода в виде един... Pavel Putro

11/10/2020

12:06 PM MicroTESK Bug #10566 (New): Отсутствует поддержка тернарного оператора в mir

Наличие тернарного оператора в NML модели приводит к падению при выполнении команды symexecute. Pavel Putro

01/13/2020

05:27 PM MicroTESK for PowerPC Bug #7775 (Closed): Описание MMU инструкций

Pavel Putro

05:26 PM MicroTESK for PowerPC Task #7743 (Closed): Коммит 905af510: Sub instruction added

Pavel Putro

10/02/2019

12:46 AM MicroTESK Bug #9843 (Closed): MicroTESK версии mir игнорирует параметр binary-file-use-big-endian

В файле etc/settings.xml присутствует параметр binary-file-use-big-endian, который корректно обрабатывается основной ... Pavel Putro

08/12/2019

10:40 PM MicroTESK Bug #9787 (Closed): Некорректное восстановление 64-х битных чисел из памяти.

Для примера была использована модель risc-v 64-bit. В архиве содержится бинарный и ассемблерный код функции size_test... Pavel Putro

11/23/2018

12:58 PM MicroTESK Bug #9395 (Open): Symexecute не учитывает неявные преобразования типов в nml моделях

Раз неявные преобразования нежелательны, то возможно их стоит запретить на уровне инструмента, чтобы такая ситуация н... Pavel Putro

11/22/2018

02:39 PM MicroTESK Bug #9395 (Closed): Symexecute не учитывает неявные преобразования типов в nml моделях

В модели RISC-V в массив памяти с 62-х битным индексом производится запись по индексу размерностью 64 бит, что обраба... Pavel Putro

11/06/2018

01:38 PM MicroTESK Bug #9364 (Closed): Некорректная генерация smt-lib формул

Обнаружено 2 бага связанных с генерацией smt-lib формул. В приложенных файлах содержится бинарный код, некорректный и... Pavel Putro

03:15 AM MicroTESK for PowerPC Revision 9c45136d: Small refactoring and fix undefined part of temp_lo_index

Pavel Putro