General

Profile

Artem Kotsynyak

  • Login: kotsynyak
  • Registered on: 06/19/2013
  • Last connection: 05/22/2023

Issues

open closed Total
Assigned issues 29 73 102
Reported issues 3 7 10

Projects

Project Roles Registered on
Castle Developer 04/06/2020
Formal Methods Developer 10/11/2021
Fortress Developer 06/19/2013
Java SoftFloat Reporter 10/03/2014
MicroTESK Developer 06/19/2013
MicroTESK Documentation Developer 12/16/2019
MicroTESK for ARM Demo Developer 03/17/2023
MicroTESK for MIPS Developer 11/08/2016
MicroTESK for PowerPC Developer 10/21/2016
MicroTESK for RISC-V Developer 07/17/2018
MicroTESK Training Course Developer 10/03/2013
Model Checking Developer 02/27/2020
QEMU4V Developer 05/15/2018
TestBase Manager, Developer 02/25/2014

Activity

05/02/2023

07:20 PM MicroTESK Revision fde32d8e (microtesk): nml,smt: avoid empty bindings when translating to SMT
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
06:12 PM MicroTESK Revision b5e474d7 (microtesk): symexec: prevent analysis of empty basic blocks
Avoids NPE during symbolic execution
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
Artem Kotsynyak

04/20/2023

03:35 PM MicroTESK Revision 7e9e65ed (microtesk): symexec: fix incorrect naming of branch conditions in functional SMT
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

04/14/2023

01:33 PM MicroTESK Revision 8ab7e330 (microtesk): symexec: always reference input vars in SMT for BBs
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:17 PM MicroTESK Revision 1461b9ac (microtesk): symexec: always reference input vars in SMT for BBs
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:08 PM MicroTESK Revision aef00999 (microtesk): symexec: rename methods to better match the purpose
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

04/12/2023

04:10 PM MicroTESK Revision a676cc70 (microtesk): symexec: temporary disable potentially unused features
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
03:38 PM MicroTESK Revision bbfd5836 (microtesk): mir,pass: add a pass to make conditions canonicalised
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
03:36 PM MicroTESK Revision 158a9d67 (microtesk): mir,pass: propagate condition values during SCCP pass
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
03:34 PM MicroTESK Revision 8579bc7c (microtesk): mir,pass: impl reducing constant propagation based on def-use chains
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

Also available in: Atom