Results 1 to 10 of about 121 (112)
Динамический автотренажер управления пожарным аварийно-спасательным автомобилем
Вестник Университета гражданской защиты МЧС Беларуси, 2022 Цель. Разработка и внедрение в образовательную деятельность отечественного динамического автотренажера управления пожарным аварийно-спасательным автомобилем, предназначенного для изучения и практической отработки методов и приемов управления пожарной ...
Иван Иванович Полевода +3 more
doaj +1 more source
Dynamic program analysis for error detection using goal-seeking input data generation
Труды Института системного программирования РАН, 2018 This paper describes the principles of program dynamic analysis for defect detection using input data generation. Techniques of program transformation allowing execution trace extraction, data flow tracing and input data generation for execution path ...
S. P. Vartanov, A. Y. Gerasimov
doaj +1 more source
Applying dynamic analysis to programs running in interpreted environments
Труды Института системного программирования РАН, 2018 The present-day trends in software engineering include the steady increase of code and design complexity which reinforces the high demand in automated software testing and analysis tools.
S. P. Vartanov +2 more
doaj +1 more source
Dynamic detection of Use After Free bugs
Труды Института системного программирования РАН, 2018 The article describes new method of use after free bug detection using program dynamic analysis. In memory-unsafe programming languages such as C/C++ this class of bugs mainly accurse when program tries to access specific area of dynamically allocated ...
S. A. Asryan +5 more
doaj +1 more source
On Some Limitations of Information Flow Tracking in Full-system Emulators
Труды Института системного программирования РАН, 2018 Tracking and verification of data flows includes set of techniques that can be applied to make applications more secure, to perform software analysis for debugging or reverse engineering, and so on. Taint analysis is one of the techniques used to control
M. A. Klimushenkova +5 more
doaj +1 more source
Труды Института системного программирования РАН, 2018 Historically program analysis methods are divided into two groups - static program analysis methods and dynamic program analysis methods. In this paper, we present a combined approach which allows to determine reachability for defects found by static ...
A. Y. Gerasimov +3 more
doaj +1 more source
Applying Java bytecode static instrumentation for software dynamic analysis
Труды Института системного программирования РАН, 2018 This paper focuses on dynamic analysis of Java programs. We consider the following limitations: analysis tool may not have access to target program source code, and the program may be interpreted by a non-standard virtual machine with bytecode format ...
S. P. Vartanov, M. K. Ermakov
doaj +1 more source
Acta Biomedica Scientifica, 2016 By means of calculation of the incidence mean value, the amplitude of oscillation and a dynamic analysis, we investigated data from official statistical collections of the Federal State Statistics Service (Public Health in Russia, Russian Statistical ...
V. Pogodina +3 more
doaj +1 more source
Input data generation for reaching specific function in program by iterative dynamic analysis
Труды Института системного программирования РАН, 2018 Dynamic symbolic execution is a well-known technique used for different tasks of program analysis: input generation for increasing test coverage for program, inputs of death generation, exploit generation and etc.
A. Y. Gerasimov, L. V. Kruglov
doaj +1 more source
Модуль упругости как функция процесса в наследственной механике
Известия Алтайского государственного университета, 2023 Рассмотрена проблема определения модуля упругости для полимерных материалов. Отмечено: сложность измерения связана с тем, что данные материалы подчиняются законам вязкоупругости. Применен метод Больцмана — Вольтерра к рассмотрению поведения наследственно-
Павел Павлович Рымкевич +1 more
doaj +1 more source