General

Profile

Pavel Putro

Issues

Projects

Activity

01/24/2018

07:23 PM MicroTESK Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).
По вашему примеру:
Константа op_0_instruction.operation.ra!1 более нигде не используется и её значение неизвестно в ...
07:23 PM MicroTESK 0.00 hour (Bug #8486 (Feedback): Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).)

01/23/2018

01:27 AM MicroTESK Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).
Посмотрел исправленный вариант. С тестом 42.bin проблем больше нет.
Нашел ещё одну ошибку: при передачи регистров...
01:27 AM MicroTESK 0.00 hour (Bug #8486 (Feedback): Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).)

01/17/2018

12:42 AM MicroTESK Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).
Протестировал исправленный symexecute. Нашел 3 ошибки при исправлении которых тестовый пример начинает правильно дока...
12:42 AM MicroTESK 0.00 hour (Bug #8486 (Feedback): Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).)
Ошибки в symexecute

10/06/2017

11:31 PM MicroTESK Bug #8486 (Feedback): Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).
Насколько мне удалось проанализировать: в текущей генерируемой модели отсутствует связывание между собой констант для...

Also available in: Atom