|
|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
| 1. |
V. S. Karcev, V. N. Ignatyev, “Support of Visual Basic .NET in SharpChecker static analyzer”, Proceedings of ISP RAS, 36:3 (2024), 49–62  |
|
2022 |
| 2. |
N. V. Shimchik, V. N. Ignatyev, A. A. Belevancev, “Irbis: static taint analyzer for vulnerabilities detection in C/C++”, Proceedings of ISP RAS, 34:6 (2022), 51–66 |
| 3. |
U. V. Tsiazhkorob, V. N. Ignatyev, A. A. Belevancev, “Detection of uses of disposed resources in C# source code using static analysis”, Proceedings of ISP RAS, 34:6 (2022), 41–50 |
| 4. |
V. S. Karcev, V. N. Ignatyev, “Improving the accuracy of static analysis by accounting for the values of class fields that can have only one constant value”, Proceedings of ISP RAS, 34:6 (2022), 29–40 |
| 5. |
P. I. Ragozina, V. N. Ignatyev, “Detection of erroneous usage of synchronization monitor in Ñ# via static analysis”, Proceedings of ISP RAS, 34:4 (2022), 63–78 |
|
2020 |
| 6. |
M. V. Belyaev, E. S. Romanenkov, V. N. Ignatyev, “Modeling of library functions in an industrial static code analyzer”, Proceedings of ISP RAS, 32:3 (2020), 21–31 |
1
|
|
2019 |
| 7. |
N. V. Shimchik, V. N. Ignatyev, “Vulnerabilities detection via static taint analysis”, Proceedings of ISP RAS, 31:3 (2019), 177–190  |
1
|
|
2017 |
| 8. |
M. V. Belyaev, N. V. Shimchik, V. N. Ignatyev, A. A. Belevancev, “Comparative analysis of two approaches to the static taint analysis”, Proceedings of ISP RAS, 29:3 (2017), 99–116 |
2
|
|
2016 |
| 9. |
V. K. Koshelev, V. N. Ignatyev, A. I. Borzilov, “C# static analysis framework”, Proceedings of ISP RAS, 28:1 (2016), 21–40 |
7
|
|
2015 |
| 10. |
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 |
|
| |
|
|
Contact us: