RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Dudina, Irina Aleksandrovna

Statistics Math-Net.Ru
Total publications: 5
Scientific articles: 5

Number of views:
This page:57
Abstract pages:544
Full texts:242
References:74

http://www.mathnet.ru/eng/person124514
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2018
1. I. A. Dudina, N. E. Malyshev, “An approach to the c string analysis for buffer overflow detection”, Proceedings of ISP RAS, 30:5 (2018),  55–74  mathnet  elib
2. I. A. Dudina, “Buffer overflow detection via static analysis: expectations vs. reality”, Proceedings of ISP RAS, 30:3 (2018),  21–30  mathnet  elib
2016
3. I. A. Dudina, “Inter-procedural buffer overflows detection in C/C++ source code via static analysis”, Proceedings of ISP RAS, 28:5 (2016),  119–134  mathnet  elib
4. I. Dudina, V. Koshelev, A. Borodin, “Statically detecting buffer overflows in C/C++”, Proceedings of ISP RAS, 28:4 (2016),  149–168  mathnet  elib
2015
5. V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov, “Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference”, Proceedings of ISP RAS, 27:5 (2015),  59–86  mathnet  elib

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020