For citations:
Solovev M.A., Bakulin M.G., Gorbachev M.S., Manushin D.V., Padaryan V.A., Panasenko S.S. Next generation intermediate representations for binary code analysis. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(6):39-68. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(6)-3