General

Profile

Pavel Putro

Issues

Projects

Activity

08/28/2019

12:54 AM Deductive Verification Tool for Machine Code Revision 9ccbbf1b: JSON fun_info added
Pavel Putro

08/18/2019

11:08 PM Deductive Verification Tool for Machine Code Revision b2781d62: Add support for machine customization
Pavel Putro

08/12/2019

10:40 PM MicroTESK Bug #9787 (New): Symexecute - некорректное восстановление 64-х битных чисел из памяти.
Для примера была использована модель risc-v 64-bit. В архиве содержится бинарный и ассемблерный код функции size_test... Pavel Putro

08/05/2019

08:13 PM Deductive Verification Tool for Machine Code Revision ff401fca: Char support and other improvements for memset example
Pavel Putro

07/30/2019

11:39 PM Deductive Verification Tool for Machine Code Revision c68b9a29: TNamed processing partly added
Pavel Putro

07/24/2019

08:25 PM Deductive Verification Tool for Machine Code Revision dad76bba: Add memset test
Pavel Putro

07/13/2019

12:04 PM Deductive Verification Tool for Machine Code Revision 449b8251: New CFG format support patch 1
Pavel Putro

05/14/2019

07:21 PM Deductive Verification Tool for Machine Code Revision 49a5f1ef: Add search for local vars positions
Pavel Putro

05/01/2019

01:24 AM Deductive Verification Tool for Machine Code Revision 830f8489: Template generation for searching locals
Pavel Putro

04/17/2019

11:27 PM Deductive Verification Tool for Machine Code Revision 68e28f83: Change memeq definition strategy
Pavel Putro

Also available in: Atom