Results 41 to 50 of about 142 (133)

Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference

Труды Института системного программирования РАН, 2018
This paper proposes an approach for detecting bugs in C# programs and uses null pointer deference as the main example. The approach is based on a scalable path-sensitive analysis, which involves symbolic execution with state merging and function summary ...
V. . Koshelev, I. . Dudina, V. . Ignatyev, A. . Borzilov   +3 more
doaj   +1 more source

Mechanically Proved Practical Local Null Safety

Труды Института системного программирования РАН, 2018
Null pointer dereferencing is a well-known bug in object-oriented programs. It can be avoided by adding special validity rules to a language in which programs are written. Are the rules sufficient to ensure absence of such exceptions?
A. V. Kogtenkov
doaj   +1 more source

Static Verification Tools for C Programs and Linux Device Drivers: A Survey

Труды Института системного программирования РАН, 2018
The survey considers methods and techniques used in modern static verification tools for C programs. It describes two main approaches Counter Example Guided Abstraction Refinement (CEGAR) and Bounded Model Checking (BMC) and techniques used to ...
M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov   +3 more
doaj  

The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms

Моделирование и анализ информационных систем, 2013
This paper presents the description of a possible way to build the universal linearized control flow graph which is supposed to be architecture-independent and applicable to the description of any high level language programs. The practical usefulness of
V. A. Bitner, N. V. Zaborovsky
doaj  

Тенденции развития страхования предпринимательских и финансовых рисков в Российской Федерации и Республике Беларусь

Экономика и банки, 2020
Целью данной работы является комплексное изучение состояния сферы страхования предпринимательских и финансовых рисков в Российской Федерации и Республике Беларусь.
Д.В. Моисеева (D.V. Moiseeva), А.А. Тулупова (А.А. Tulupova)   +1 more
doaj  

Static analysis usage for customizable checks of programming languages semantic constraints

Труды Института системного программирования РАН, 2018
We describe the usage of programming language constraints to achieve program security and portability, which are especially important for large projects.
Valery Ignatyev
doaj  

Source code transformation and automatic correction of defects with KAST language

Труды Института системного программирования РАН, 2018
This article is devoted to KAST language extensions introduced for purposes of sources code transformation. Currently KAST is used for matching syntactic patterns in syntactic trees built of C/C++, Java or C# sources.
N. L. Lugovskoy, S. V. Syromyatnikov
doaj  

СТАТИЧЕСКИЙ ПАРОФАЗНЫЙ ГАЗОХРОМАТОГРАФИЧЕСКИЙ АНАЛИЗ С МАСС-СПЕКТРОМЕТРИЧЕСКИМ ДЕТЕКТИРОВАНИЕМ В ЛАБОРАТОРНОМ МОДЕЛИРОВАНИИ ПОВЕДЕНИЯ СИСТЕМЫ «НЕФТЬ - ВОДА»

, 2019
Ю.С. Токсарова
openalex   +2 more sources

Type inference for Python programming language

Труды Института системного программирования РАН, 2018
The article presents type inference for programs written in Python programming language. At first, type inference algorithms for parametric polymorphism that were described in the scientific literature are reviewed.
I. E. Bronshteyn
doaj  

Mechanisms for extending the system of static analysis Svace by new types of detectors of vulnerabilities and critical errors

Труды Института системного программирования РАН, 2018
A static analysis tool Svace finding vulnerabilities and critical errors in the source code of C/C++  programs is developed in the ISP RAS. The purpose of Svace is to find as many errors as possible with  low level of false positives and suitable use of ...
Arutyun Avetisyan, Alexey Borodin
doaj