For citations:
BORODIN A.E., GOREMYKIN A.V., VARTANOV S.P., BELEVANTSEV A.A. Searching for tainted vulnerabilities in static analysis tool Svace. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2021;33(1):7-32. (In Russ.) https://doi.org/10.15514/ISPRAS-2021-33(1)-1
Email this article 