Results 11 to 20 of about 142 (133)
Supporting Java programming in the Svace static analyzer
Труды Института системного программирования РАН, 2018 The paper is devoted to the works performed within the Svace static analysis tool to support Java language. First, the approach to intercept compilation process for transparently building the analyzer internal representation should be extended to cover ...
A. P. Merkulov +2 more
doaj +1 more source
Methods and software tools for combined binary code analysis
Труды Института системного программирования РАН, 2018 This paper presents methods and tools for binary code analysis that have been developed in ISP RAS and their applications in fields of algorithm and data format recovery.
V. A. Padaryan +8 more
doaj +1 more source
Static analyzer Svace for finding of defects in program source code
Труды Института системного программирования РАН, 2018 This paper describes Svace, a tool for static program analysis developed in ISP RAS. This tool allows to find defects and potential vulnerabilities in source code of programs written in C/C++ languages.
V. P. Ivannikov +6 more
doaj +1 more source
Interprocedural taint analysis for LLVM-bitcode
Труды Института системного программирования РАН, 2018 Today the development cycle of many application classes requires a security analysis stage. Taint analysis is widely used to check programs for different security vulnerabilities.
V. K. Koshelev +2 more
doaj +1 more source
Analysis of program changes nature and searching for unpatched code fragments
Труды Института системного программирования РАН, 2019 Software developers often resort to borrowing code both within one project and from another. Due to the possible content of errors in the source code snippet, this can lead to error propagation across program.
Mariam Seropovna Arutunian +5 more
doaj +1 more source
The refactoring approach used in Klocwork Insight toolkit
Труды Института системного программирования РАН, 2018 The paper describes refactoring technics used in Klocwork Insight toolkit for C/C++ programming languages. Being the most popular Extract Function refactoring is chosen to describe all stages of refactoring process.
N. L. Lugovskoy
doaj +1 more source
Formalization of Error Criteria for static symbolic execution
Труды Института системного программирования РАН, 2018 This paper is devoted to the formalization of the error criteria for program static analysis, based on symbolic execution. Using the original error criteria of symbolic execution approach in program static analysis leads to an excessive number of false ...
V. K. Koshelev
doaj +1 more source
Using unreachable code analysis in static analysis tool for finding defects in source code
Труды Института системного программирования РАН, 2018 The goal of finding unreachable code is to report warnings about possible bugs in the source code and an increase of other analyses accuracy. The paper describes unreachable code classification and approaches for finding unreachable code in C/C ...
R. R. Mulyukov, A. E. Borodin
doaj +1 more source
Региональная дифференциация возраста выхода с рынка труда в России
Экономика региона, 2022 Фактический возраст выхода на пенсию является одной из важнейших характеристик занятости населения старших возрастов и пенсионного поведения. С середины 1990-х гг.
Victor Yu. Lyashok +1 more
doaj +1 more source
Ползуновский вестникCтатья посвящена проблемам моделирования сорбции влаги в сахарном печенье, где традиционные модели Лэнгмюра и БЭТ признаются недостаточно точными. В качестве альтернативы авторы применяют модель Гуггенхайма-Андерсона-де Бура (ГАБ).
Юлия Александровна Ускова +1 more
doaj +1 more source