Results 21 to 30 of about 142 (133)

Adjustable method with predicate abstraction for detection of race conditions in operating systems

Труды Института системного программирования РАН, 2018
The paper presents a configurable method of static data race detection that is trying to keep a balance between resource consumption and a number of false alarms. The method is based on well known Lockset approach.
P. S. Andrianov, V. S. Mutilin, A. V. Khoroshilov   +2 more
doaj   +1 more source

Refactoring on the whole project

Труды Института системного программирования РАН, 2018
Refactoring is one of the most popular and successful techniques in improving source code. It is an integral part of agile development methods. However, we still lack effective tools for source code automatic refactoring for C/C++.
S. V. Syromyatnikov, I. E. Bronshteyn, N. L. Lugovskoy   +2 more
doaj   +1 more source

Static detection of error of double locking of mutex

Труды Института системного программирования РАН, 2018
This paper describes algorithm for static search for error of double locking of mutex. The algorithm allows emitting warnings with low level of false positives.
Alexey Borodin
doaj   +1 more source

Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений.

Труды Института системного программирования РАН, 2004
Рассматриваются задачи полной и инкрементальной верификации объектно-ориентированных данных. На основе теории графов строится формальный аппарат, а также описываются разработанные методы инкрементальной верификации, использующие статический анализ ...
В.А. Семенов, С.В. Морозов, О.А. Тарлапан   +2 more
doaj  

Platform for interprocedural static analysis of binary code

Труды Института системного программирования РАН, 2018
This paper describes the developed platform for static analysis of binary code. The platform is developed based on interprocedural, flow-sensitive and context-sensitive analysis of the program.
H. K. Aslanyan
doaj  

Analyzing C/C++ code entities and relations for program understanding

Труды Института системного программирования РАН, 2018
This paper describes the static analysis tool for finding program entities, their metrics, and relations between entities. Program entities are files/directories (physical structure) and classes/functions/methods/global variables (logical structure ...
A. . Belevantsev, E. . Velesevich
doaj   +1 more source

An approach to the C string analysis for buffer overflow detection

Труды Института системного программирования РАН, 2018
Many buffer overrun errors in C programs are caused by erroneous string manipulations. These can lead to denial of service, incorrect computations or even exploitable vulnerabilities.
I. A. Dudina, N. E. Malyshev
doaj  

Методика определения классов уязвимостей мобильных приложений

Современные инновации, системы и технологии
Мобильные устройства и приложения играют ключевую роль в повседневной жизни современного человека, предоставляя доступ к разнообразным информационным ресурсам и онлайн-сервисам.
Э. А. Карпунина, В. А. Корякова   +1 more
doaj   +1 more source

A static approach to estimation of execution time of components in AADL models

Труды Института системного программирования РАН, 2018
During development of modern avionics systems and other mission-critical systems modelling is vitally used. Models can be used for checking and validation of developed system, including early validation.
A. M. Troitskiy, D. V. Buzdalov
doaj   +1 more source

Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution

Труды Института системного программирования РАН, 2018
A specific approach to summary-based interprocedural symbolic execution is described. The approach is suitable for analysis of program source code developed with high-level programming languages and allows executing arbitrarily complex checks during ...
A. . Dergachev, A. . Sidorin
doaj   +1 more source