Detection of Dead Function Calls as Source Code Defects through Static Analysis

Vera Igorevna VASILEVA; Alexey Evgenevich BORODIN; Alexander Efimovich VOLKOV

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:

VASILEVA V.I., BORODIN A.E., VOLKOV A.E. Detection of Dead Function Calls as Source Code Defects through Static Analysis. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(4):65-78. https://doi.org/10.15514/ISPRAS-2025-37(4)-4

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

Vera Igorevna VASILEVA
Institute for System Programming of the Russian Academy of Sciences Lomonosov Moscow State University
Russian Federation

Student at the Faculty of Computational Mathematics and Cybernetics of Moscow State University (MSU), employee of Institute for System Programming of the RAS. Her research interests: compiler technologies, program source code static analysis, software defects detection.

Alexey Evgenevich BORODIN
Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Cand. Sci. (Phys.-Math.), researcher of Institute for System Programming of the RAS since 2007. Research interests: compiler technologies, program source code static analysis, software defects detection.

Alexander Efimovich VOLKOV
Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Researcher of Institute for System Programming of the RAS since 2007. Research interests: compiler technologies, program source code static analysis, software defects detection.

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