General

Profile

Artem Kotsynyak

  • Registered on: 06/19/2013
  • Last connection: 01/13/2020

Issues

Projects

Activity

01/17/2020

04:16 PM MicroTESK Bug #10044 (Resolved): Translator crashes with NPE if no instruction is defined
Applied in changeset commit:microtesk|5d51d5d20221cbb6dfe26eada81eaaa1052b266a. Artem Kotsynyak
04:14 PM MicroTESK Revision 5d51d5d2 (microtesk): [mir,isa] ignore ISA if op instruction undefined
fixes #10044
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
Artem Kotsynyak

01/13/2020

12:06 PM MicroTESK Revision 51f81a42 (microtesk): Merge remote-tracking branch 'origin/java11'
Artem Kotsynyak

01/11/2020

04:50 PM MicroTESK Bug #9910 (Resolved): Symbolic executor fails to construct CFG
Applied in changeset commit:microtesk|33e860eab77c0ce149448efc06f4cf1ec6df16e9. Artem Kotsynyak
04:47 PM MicroTESK Revision 33e860ea (microtesk): [symexec,cfg] prevent queuing out-of-range indices
fixes #9910
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
Artem Kotsynyak
04:42 PM MicroTESK Revision 50409767 (microtesk): [symexec] selectRanges: fix incorrect end idx
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
04:41 PM MicroTESK Revision 60d2a002 (microtesk): [mir] MirBuilder: rebase memref tmpvar on argcnt
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
04:37 PM MicroTESK Revision dc502f15 (microtesk): [mir] MirBuilder: properly copy tmpvars to target
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

01/10/2020

07:06 PM MicroTESK Bug #9787 (Closed): Некорректное восстановление 64-х битных чисел из памяти.
Artem Kotsynyak
07:05 PM MicroTESK Bug #9364 (Closed): Некорректная генерация smt-lib формул
Artem Kotsynyak

Also available in: Atom