Dynamic detection of Use After Free bugs

by S. A. Asryan, S. S. Gaissaryan, Sh. F. Kurmangaleev, A. M. Aghabalyan, N. H. Hovsepyan, S. S. Sargsyan
Published 2018-10-01

Applying dynamic analysis to programs running in interpreted environments

by S. P. Vartanov, M. K. Ermakov, A. Y. Gerasimov
Published 2018-10-01

An approach of reachability determination for static analysis defects with help of dynamic symbolic execution

by A. Y. Gerasimov, L. V. Kruglov, M. K. Ermakov, S. P. Vartanov
Published 2018-10-01

Dynamic Java program analysis using virtual machine modification

by M. . Ermakov, S. . Vartanov
Published 2018-10-01

Dynamic analysis of programs with graphical user interface based on symbolic execution

by S. P. Vartanov, A. Y. Gerasimov, M. K. Ermakov, D. O. Kutz, A. A. Novikov
Published 2018-10-01

Survey on static program analysis results refinement approaches

by A. Y. Gerasimov
Published 2018-10-01

Applying iterative dynamic analysis to programs with graphical user interface

by M. K. Ermakov, A. Y. Gerasimov, D. O. Kutz, A. A. Novikov
Published 2018-10-01