|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
1. |
A. E. Borodin, I. A. Dudina, “Symbolic execution based intra-procedural analysis for search for defects”, Proceedings of ISP RAS, 32:6 (2020), 87–100 |
3
|
|
2018 |
2. |
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 |
3. |
I. A. Dudina, “Buffer overflow detection via static analysis: expectations vs. reality”, Proceedings of ISP RAS, 30:3 (2018), 21–30 |
|
2016 |
4. |
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 |
1
|
5. |
I. Dudina, V. Koshelev, A. Borodin, “Statically detecting buffer overflows in C/C++”, Proceedings of ISP RAS, 28:4 (2016), 149–168 |
5
|
|
2015 |
6. |
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 |
9
|
|
Organisations |
|
|
|
|