For citations:
Mulyukov R.R., Borodin A.E. Using unreachable code analysis in static analysis tool for finding defects in source code. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(5):145-158. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(5)-9