General

Profile

Artem Kotsynyak

  • Registered on: 06/19/2013
  • Last connection: 06/19/2018

Issues

Projects

Activity

01/24/2018

09:27 PM MicroTESK Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).
Pavel Putro wrote:
> По вашему примеру:
> Константа op_0_instruction.operation.ra!1 более нигде не используется и е...
12:46 PM MicroTESK Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute).
Pavel Putro wrote:
> Посмотрел исправленный вариант. С тестом 42.bin проблем больше нет.
>
> Нашел ещё одну ошиб...

10/06/2017

06:27 PM Fortress Task #5478 (Closed): Implement Transformer.reduce(Node expression)
Done in commit:f67e8f085
06:21 PM Fortress Task #5450 (Closed): Support multiple rules per node in NodeTransformer
To not enforce specific rule applicatoin policy on user it is better to create custom composite rule, e.g. containing...
06:17 PM Fortress Task #7378 (Closed): NodeTransformer: multiple transform rules for a single enum id
Duplicate of #5450

03/22/2017

03:45 PM MicroTESK Revision 8306: [coverage] SsaAssembler: safe-copy input context
12:38 PM MicroTESK Revision 8295: [symexec] change instruction prefix in SSA
10:47 AM MicroTESK Revision 8289: [coverage] Utility: copy mass transform results

03/20/2017

04:55 PM MicroTESK Revision 8272: [symexec] build and save disassembly SSA form in SMT format
04:53 PM MicroTESK Revision 8271: [coverage] SsaAssembler: support incremental assembly

Also available in: Atom