Practical Abstract Interpretation of Binary Code

Mikhail Aleksandrovich SOLOVEV; Maksim Gennadevich BAKULIN; Sergei Sergeevich MAKAROV; Dmitrii Valerevich MANUSHIN; Vartan Andronikovich PADARYAN

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)
Trudy Instituta sistemnogo programmirovaniâ

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

User

eng | рус

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search

Archives

Download this PDF file

Fullscreen

For citations:

SOLOVEV M.A., BAKULIN M.G., MAKAROV S.S., MANUSHIN D.V., PADARYAN V.A. Practical Abstract Interpretation of Binary Code. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2020;32(6):101-110. (In Russ.) https://doi.org/10.15514/ISPRAS-2020-32(6)-8

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Academician Arutyun I. Avetisyan

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

Mikhail Aleksandrovich SOLOVEV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University
Russian Federation

Candidate of physical and mathematical sciences, senior researcher at the compiler technologies department of ISP RAS; senior lecturer at the system programming department of the faculty of Computational Mathematics and Cybernetics of Lomonosov Moscow State University

Maksim Gennadevich BAKULIN
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Junior researcher

Sergei Sergeevich MAKAROV
Lomonosov Moscow State University
Russian Federation

Student at the system programming department

Dmitrii Valerevich MANUSHIN
Lomonosov Moscow State University
Russian Federation

Postgraduate student at the system programming department

Vartan Andronikovich PADARYAN
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University
Russian Federation

Candidate of physical and mathematical sciences, leading researcher at the compiler technologies department of ISP RAS; associate professor of the system programming department of the faculty of Computational Mathematics and Cybernetics of Lomonosov Moscow State University

Notifications

Username
Password
	Remember me
Not a user? Register with this site Forgot your password?

User

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

For citations:

Cookies policy