Proceedings of the Institute for System Programming. Volume 28, issue 5, 2016, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Academician V.P. Ivannikov
Table of Contents
A.I. Avetisyan Foreword pp. 9-10.
N.A. Belov Automatic uninitialized value usage detection during full-system emulation pp. 11-26.
A.V. Kogtenkov Mechanically Proved Practical Local Null Safety pp. 27-54.
P. Dovgalyuk, V. Makarov When stack protection does not protect the stack? pp. 55-72.
A.N. Fedotov, V.A. Padaryan, V.V. Kaushan, Sh.F. Kurmangaleev, A.V. Vishnyakov, A.R. Nurmukhametov Severity software defects estimation in presence of modern defense mechanisms pp. 73-92.
A.R. Nurmukhametov The Application of Compiler-based Obfuscation and Diversification for Program Signature Modification pp. 93-104.
V.K. Koshelev Formalization of Error Criteria for static symbolic execution pp. 105-118.
I. Dudina Inter-procedural buffer overflows detection in C/C++ source code via static analysis pp. 119-134.
V.V. Kaushan Buffer overrun detection method in binary code pp. 135-144.
R.R. Mulyukov, A.E. Borodin Using unreachable code analysis in static analysis tool for finding defects in source code pp. 145-158.
A.Y. Gerasimov, L.V. Kruglov Input data generation for reaching specific function in program by iterative dynamic analysis method pp. 159-174.
K. Dolgorukova, S. Arishin Link-time optimization speedup pp. 175-198
K.A. Batuzov Global register allocation during dynamic binary translation pp. 199-214.
H.K. Aslanyan, S.F. Kurmangaleev, V.G. Vardanyan, M.S. Arutunian, S.S. Sargsyan Platform-independent and scalable tool for binary code clone detection pp. 215-226
I.A. Yakimov, A.S. Kuznetsov Test Readability Optimization in Context of Symbolic Execution pp. 227-238.
A.Y. Hmelnov, I.V. Bychkov, A.A. Mikhailov A declarative language FlexT for analysis and documenting of binary data formats pp. 239-268.