General

Profile

Artem Kotsynyak

  • Registered on: 06/19/2013
  • Last connection: 04/03/2020

Issues

Projects

Activity

03/29/2020

11:10 AM Fortress Bug #10177: TreeVisitor's SKIP status does not work as expected
Upon further investigation, I've found it is required to manually setStatus(Status.OK) in onOperationEnd() to continu... Artem Kotsynyak

03/28/2020

04:31 PM Fortress Bug #10177 (Feedback): TreeVisitor's SKIP status does not work as expected
Which TreeVisitor implementation behaves that way?
TreeVisitor and ExprTreeVisitor are interfaces, ExprTreeVisitorDe...
Artem Kotsynyak

03/11/2020

05:05 PM MicroTESK Revision 784ab9df (microtesk): [mmu,gen] generate indexed accessor for buffers
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

03/05/2020

01:56 PM MicroTESK Revision f6f3e7c8 (microtesk): [mir,nml] workaround NML types in bv shift ops
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:47 PM MicroTESK Revision dfbaeb81 (microtesk): [mir,nml] support BVNEG, BVREPEAT ops
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

03/04/2020

02:26 AM MicroTESK Revision 44aca00a (microtesk): [mir,io] match 'extract' op args contract
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
02:26 AM MicroTESK Revision 3d0db2d2 (microtesk): [mir,nml] fix bv rotation translation
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
05:08 PM MicroTESK Revision 8ba71d17 (microtesk): [mir] support bitvector rotation ops
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

03/03/2020

02:24 AM MicroTESK Revision 7c8492d7 (microtesk): [mir,io] MirArchive: load content on-demand
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
03:43 PM MicroTESK Revision a14080a7 (microtesk): [symexec,mir] restore MIR control flow for binary
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

Also available in: Atom