An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution. - A. Yu. Gerasimov; Leonid V. Kruglov; Mikhail K. Ermakov; Sergey P. Vartanov (Program. Comput. Softw., 2018)

Searching for Taint Vulnerabilities with Svace Static Analysis Tool. - Alexey E. Borodin; A. V. Goremykin; Sergey P. Vartanov; A. A. Belevantsev (Program. Comput. Softw., 2021)