Dudina Irina Aleksandrovna

Publications in Math-Net.Ru

1. Symbolic execution based intra-procedural analysis for search for defects
   
   Proceedings of ISP RAS, 32:6 (2020),  87–100
2. An approach to the c string analysis for buffer overflow detection
   
   Proceedings of ISP RAS, 30:5 (2018),  55–74
3. Buffer overflow detection via static analysis: expectations vs. reality
   
   Proceedings of ISP RAS, 30:3 (2018),  21–30
4. Inter-procedural buffer overflows detection in C/C++ source code via static analysis
   
   Proceedings of ISP RAS, 28:5 (2016),  119–134
5. Statically detecting buffer overflows in C/C++
   
   Proceedings of ISP RAS, 28:4 (2016),  149–168
6. Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference
   
   Proceedings of ISP RAS, 27:5 (2015),  59–86