|
Preface
A. I. Avetisyan
|
9 |
|
|
Automatic uninitialized value usage detection during full-system emulation
N. A. Belov
|
11 |
|
|
Mechanically proved practical local null safety
A. V. Kogtenkov
|
27 |
|
|
When stack protection does not protect the stack?
Pavel Dovgalyuk, Vladimir Makarov
|
55 |
|
|
Software defect severity estimation in presence of modern defense mechanisms
A. N. Fedotov, V. A. Padaryan, V. V. Kaushan, Sh. F. Kurmangaleev, A. V. Vishnyakov, A. R. Nurmukhametov
|
73 |
|
|
The application of compiler-based obfuscation and diversification for program signature modification
A. R. Nurmukhametov
|
93 |
|
|
Formalization of error criteria for static symbolic execution
V. K. Koshelev
|
105 |
|
|
Inter-procedural buffer overflows detection in C/C++ source code via static analysis
I. A. Dudina
|
119 |
|
|
Buffer overrun detection method in binary code
V. V. Kaushan
|
135 |
|
|
Using unreachable code analysis in static analysis tool for finding defects in source code
R. R. Mulyukov, A. E. Borodin
|
145 |
|
|
Input data generation for reaching specific function in program by iterative dynamic analysis
A. Y. Gerasimov, L. V. Kruglov
|
159 |
|
|
Link-time optimization speedup
K. Dolgorukova, S. Arishin
|
175 |
|
|
Global register allocation during dynamic binary translation
K. A. Batuzov
|
199 |
|
|
Platform-independent and scalable tool for binary code clone detection
H. K. Aslanyan, S. F. Kurmangaleev, V. G. Vardanyan, M. S. Arutunian, S. S. Sargsyan
|
215 |
|
|
Test readability optimization in context of symbolic execution
I. A. Yakimov, A. S. Kuznetsov
|
227 |
|
|
A declarative language FlexT for analysis and documenting of binary data formats
A. E. Khmel'nov, I. V. Bychkov, A. A. Mikhailov
|
239 |
