Proceedings of ISP RAS

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

Download full volume

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.

Back to the list of all volumes