Using different views java-programs for static analysis by E. A. Karpulevitch

Subjects: “…статический анализ, java, findbugs, svace…”
Get full text

Supporting Java programming in the Svace static analyzer by A. P. Merkulov, S. A. Polyakov, A. A. Belevantsev

Subjects: “…статический анализ…”
Get full text

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

Subjects: “…статический анализ программ…”
Get full text

Buffer Overflow Detection via Static Analysis: Expectations vs. Reality by I. A. Dudina

Subjects: Get full text

An approach to the C string analysis for buffer overflow detection by I. A. Dudina, N. E. Malyshev

Subjects: “…статический анализ…”
Get full text

The refactoring approach used in Klocwork Insight toolkit by N. L. Lugovskoy

Subjects: Get full text

Vulnerabilities Detection via Static Taint Analysis by Nikita Vladimirovitch Chimtchik, Valery Nikolaevitch Ignatiev

Subjects: “…статический анализ кода…”
Get full text

Refactoring on the whole project by S. V. Syromyatnikov, I. E. Bronshteyn, N. L. Lugovskoy

Subjects: Get full text

Adjustable method with predicate abstraction for detection of race conditions in operating systems by P. S. Andrianov, V. S. Mutilin, A. V. Khoroshilov

Subjects: “…статический анализ…”
Get full text

Formalization of Error Criteria for static symbolic execution by V. K. Koshelev

Subjects: “…статический анализ…”
Get full text

Platform for interprocedural static analysis of binary code by H. K. Aslanyan

Subjects: “…статический анализ…”
Get full text

Input data generation for reaching specific function in program by iterative dynamic analysis by A. Y. Gerasimov, L. V. Kruglov

Subjects: “…статический анализ…”
Get full text

Methods and software tools for combined binary code analysis by V. A. Padaryan, A. I. Getman, M. A. Solovyev, M. G. Bakulin, A. I. Borzilov, V. V. Kaushan, I. N. Ledovskich, U. V. Markin, S. S. Panasenko

Subjects: Get full text

A static approach to estimation of execution time of components in AADL models by A. M. Troitskiy, D. V. Buzdalov

Subjects: Get full text

Static Verification Tools for C Programs and Linux Device Drivers: A Survey by M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov

Subjects: Get full text

Analyzing C/C++ code entities and relations for program understanding by A. . Belevantsev, E. . Velesevich

Subjects: Get full text

Component-based verification of operating systems by V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov

Subjects: Get full text

The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms by V. A. Bitner, N. V. Zaborovsky

Subjects: Get full text

Static analysis usage for customizable checks of programming languages semantic constraints by Valery Ignatyev

Subjects: Get full text

Survey on static program analysis results refinement approaches by A. Y. Gerasimov

Subjects: “…статический анализ программ…”
Get full text