Ivannikov Institute for System Programming of the RAS

Combined approach to solving problems in binary code analysis.


Alexander Getman, Vartan Padaryan, Mikhail Solovyev


This paper proposes a decomposition of generic software security problems, mapping them to smaller problems of static and dynamic binary code analysis.

Full text of the paper in pdf


Software security, binary code, dynamic and static analysis


Proceedings of 9th International Conference on Computer Science and Information Technologies (CSIT’2013), 2013.

Research Group

Compiler Technology

All publications during 2013 All publications