检索结果-内蒙古大学图书馆

2022 ivannikov Open Conference, ISPRAS 2022

作者： Galustov, Artemiy Borodin, Alexey Belevantsev, Andrey Ivannikov Institute for System Programming of the Ras Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9798350398533

We propose a points-to analysis that can recover targets for function pointer calls, virtual calls and method calls for using in a static analysis. We use a flow-insensitive analysis, and the analysis results are intended for flow- and path-sensitive analysis which can improve the initial analysis precision within a single function. We implemented the proposed approach in a static analyzer for finding errors in C, C++, Go, Java and Kotlin programs. The devirtualization algorithm is fast enough and spends less than 6% of the total analysis time. It can work for projects like Tizen 7 with 27.5 MLoc of source code. © 2022 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

ISPRAS@FinTOC-2022 Shared Task: Two-stage TOC Generation Model 4

ISPRAS@FinTOC-2022 Shared Task: Two-stage TOC Generation Mod...

引用

4th Financial Narrative Processing Workshop, FNP 2022

作者： Bogatenkova, Anastasiia Belyaeva, Oksana Perminov, Andrew Kozlov, Ilya Ivannikov Institute for System Programming of the RAS 25 Alexander Solzhenitsyn Str. Moscow109004 Russia

ISBN: (纸本)9791095546740

This work is connected with participation in FinTOC-2022 Shared Task: "Financial Document Structure Extraction". The competition contains two subtasks: title detection and TOC generation. We describe an approach for solving these tasks and propose the pipeline, consisting of extraction of document lines and existing TOC, feature matrix forming and classification. Classification model consists of two classifiers: the first binary classifier separates title lines from non-title, the second one determines the title level. In the title detection task, we got 0.900, 0.778 and 0.558 F1 measure, in the TOC generation task we got 63.1, 41.5 and 40.79 the harmonic mean of Inex F1 score and Inex level accuracy for English, French and Spanish documents respectively. With these results, our approach took first place among English and French submissions and second place among Spanish submissions. As a team, we took first place in the competition in English and French categories and second place in the competition in Spanish. © European Language Resources Association (ELRA)

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Classification of the Stavropol Dialect of the Estonian Language Based on Field Record Analysis Using Digital Methods

Classification of the Stavropol Dialect of the Estonian Lang...

引用

2023 ivannikov ISPRAS Open Conference, ISPRAS 2023

作者： Dogadushkin, D. Normankaja, J. Ivannikov Institute for System Programming of the Russian Academy of Sciences 'Linguistic Platforms' Laboratory Moscow Russia

ISBN: (纸本)9798350349993

The question of accurate classification of a language or a dialect becomes particularly relevant when its speakers, due to migrations, find themselves in isolated regions. Geographically distant from their original places of residence. This prompts the inquiry: do these dialects more often succumb to the influence of nearby languages or do they, conversely, 'preserve' themselves with minimal changes? Within the scope of the current research we have aimed to answer this question for a unique Stavropol dialect of the Estonian language, that has been isolated near northern Caucasus for almost 200 years. In 2020 we have recorded a full dictionary of the supposed dialect, containing 2583 entries. Through the examination of this material from three dictionaries using the 'Cognate analysis' (It calculates the phonetic disparities in etymologically related words on LingvoDoc) and the 'Glottochronological Analysis of Dialects' programs on LingvoDoc we've established that Thus, the language of the Podgornoye village exhibits both innovative reflexes (loss of the initial h) and archaic reflexes in consonants. In addition, with regard to vowels, it displays both more archaic features (retention of diphthongs uo and ie) and innovative reflexes (for Estonian diphthongs ea and ó ó). This corroborates with our the hypothesis regarding the 'conservation' of the Stavropol dialect of the Estonian language when compared to standard Estonian. Consequently, on the etymological-phonetic proximity graph, the language of the Podgornoye village is closer to Finnish than Estonian. Thus the Estonian dialect of the village of Podgornoye serves as an example of almost complete 'conservation' after the migration of its speakers to the North Caucasus, where the unique features of Northern Estonian dialects have been preserved through active language use by its speakers. In conclusion, we can see that the lists of basic vocabulary of the dialect of the village of Podgornoye and of the literary Esto

关键词： Neurophysiology

来源：评论

学校读者我要写书评

暂无评论

Docreader labeling system for line type classifier 4

Docreader labeling system for line type classifier

引用

4th Scientific-Practical Workshop Information Technologies: Algorithms, Models, systems, ITAMS 2021

作者： Kozlov, Ilya S. Ivannikov Institute for System Programming of the RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia

We develop the document analysis system, which is able to extract text and text metadata (such as font size and style), and restore the document structure. Some parts of the pipeline are based on machine learning thus requiring training and the labeled dataset, creating a training dataset is based on manual labeling. In this article, we describe an approach to the creation of a labeling system in the task of multiclass classification of document lines (paragraphs). The pipeline consists of several stages ranged from getting the source documents to getting a ready-to-learn dataset. An approach to the analysis of scanned documents and documents in docx and txt format is considered. In our work, we focus on intra-team labeling, thus we do not consider some problems, common for the crowdsourcing approach (such as unscrupulous annotators). © 2021 Copyright for this paper by its authors.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

Interprocedural static analysis for Go with closure support

Interprocedural static analysis for Go with closure support

引用

2022 ivannikov Open Conference, ISPRAS 2022

作者： Borodin, Alexey Dvortsova, Varvara Volkov, Alexander Ivannikov Institute for System Programming of the Ras Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9798350398533

We present an interprocedural static analysis to detect errors in the Go source code. The analysis supports most of the language features, while the main focus of the paper is closures and defer statements. The analysis we have developed demonstrates good scalability and performance. It is able to analyze a project of 1.1 million lines in 12 minutes. © 2022 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Python Fuzzing for Trustworthy Machine Learning Frameworks

引用

Journal of Mathematical Sciences (United States) 2024年第2期285卷 180-188页

作者： Yegorov, I. Kobrin, E. Parygina, D. Vishnyakov, A. Fedotov, A. Ivannikov Institute for System Programming of the RAS Moscow Russian Federation Lomonosov Moscow State University Moscow Russian Federation

Ensuring the security and reliability of machine learning frameworks is crucial for building trustworthy AI-based systems. Fuzzing, a popular technique in the secure software development lifecycle (SSDLC), can be used to develop secure and robust software. Popular machine learning frameworks such as PyTorch and TensorFlow are complex and written in multiple programming languages including C/C++ and Python. We propose a dynamic analysis pipeline for Python projects using the Sydr-Fuzz toolset. Our pipeline includes fuzzing, corpus minimization, crash triaging, and coverage collection. Crash triaging and severity estimation are important steps to ensure that the most critical vulnerabilities are addressed promptly. Furthermore, the proposed pipeline is integrated in GitLab CI. To identify the most vulnerable parts of the machine learning frameworks, we analyze their potential attack surfaces and develop fuzz targets for PyTorch, TensorFlow, and related projects such as h5py. Applying our dynamic analysis pipeline to these targets, we were able to discover 3 new bugs and propose fixes for them. © The Author(s), under exclusive licence to Springer Nature Switzerland AG 2024.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Comprehensive Approach to Finding Resource Leaks via Static Analysis

A Comprehensive Approach to Finding Resource Leaks via Stati...

引用

2024 ivannikov Open Conference, ISPRAS 2024

作者： Malyshev, Nikita Borodin, Alexey Belevantsev, Andrey Ivannikov Institute for System Programming of the RAS Moscow Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9798331526023

In the last 15 years many dedicated leak detection tools utilizing novel approaches were designed. Unfortunately, most of them are hard to implement and fully utilize in the scope of a multi-purpose industrial analyzer. In this paper we present a full-fledged approach to static analysis through the lens of resource leak detection. We show how general analysis architecture without much of a focus for specific defects can still be effective at finding leaks both in terms of performance and number of warnings. We briefly describe an overall structure of the Svace static analyzer and how it achieves context and path sensitivities as well as interprocedurality, while allowing for checking many program properties and being highly extensible. We also show how to use this system to implement leak detection algorithm with including a few unique extensions that we have never seen in other instruments. Our test results show a low false positive rate, relatively good performance for a multi-detector static analyzer and great scalability potential both in terms of adding new algorithms and analyzing millions of lines of code. © 2024 IEEE.

关键词： Information leakage

来源：评论

学校读者我要写书评

暂无评论

3D hydrodynamical simulation of accretion disk in binary star system using RKDG CFD solver

3D hydrodynamical simulation of accretion disk in binary sta...

引用

Workshop on Numerical Modeling in MHD and Plasma Physics: Methods, Tools, and Outcomes. Honor of academician Anatoly Alekseev's 90th Birthday

作者： Galanin, M.P. Lukin, V.V. Chechetkin, V.M. Keldysh Institute of Applied Mathematics of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

We present the results of 3D-hydrodynamical simulations of accretion disk in close binary star system. The model includes the optical star filling its Roche lobe, a gas stream emanating from the inner Lagrangian point of the binary system, and the accretion disc structure. A cold hydrogen gas stream is initially emitted towards a point-like gravitational centre. A stationary accretion disc is formed in about 5 orbital periods after the beginning of accretion. The model uses realistic cooling function for hydrogen. The simulation of accreting gas dynamics is performed using second order Runge-Kutta discontinuous Galerkin CFD solver for unstructured tetrahedral meshes. The monotonicity technique based on Hermite WENO solution reconstruction is implemented. Utilizing the hydrodynamical simulations the sinthetic light curves of the system are calculated as the volume emission of optically thin layers along the line of sight. The simulations results are in a good agreement with observations. © 2018 institute of Physics Publishing. All rights reserved.

关键词： Gas dynamics

来源：评论

学校读者我要写书评

暂无评论

Distinguishing transition systems with the nondeterministic behavior 21

Distinguishing transition systems with the nondeterministic ...

引用

21st Conference on Scientific Services and Internet, SSI 2019

作者： Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandre Ivannikov Institute for System Programming of RAS 25 Alexander Solzhenitsyn str. Moscow109004 Russia

Test generation is an important issue when checking functional and nonfunctional requirements for components of distributed systems and formal models are utilized in order to derive test suites with guaranteed fault coverage, i.e., test suites which detect critical component faults. Finite transition systems are often used as such formal models and there are a number of methods for deriving complete test suites for Finite State Machines (FSMs) where each input is followed by an output. However, the FSM model is not always appropriate, as sequences of inputs can be applied before obtaining any output response or a sequence of output responses from a system under test, while this situation can be adequately handled using Input/Output (I/O) automata. When critical faults are enumerated, a test suite can be derived as a set of sequences distinguishing the specification I/O automaton from each considered mutant, and thus, techniques for deriving sequences which distinguish two I/O automata have to be elaborated. There are different notions of distinguishability and in this paper, we consider a so-called (adaptive) separability relation. If two automata which possibly have the nondeterministic behavior are (adaptively) separable then they can be distinguished by applying a corresponding (adaptive) input sequence only once differently from the quasi-equivalence and quasi-reduction relations where each test case has to be applied appropriate number of times under the so-called "all weather conditions" assumption. In this paper, we introduce the notion of a (adaptive) separating sequence for two I/O automata and propose a technique for deriving such a sequence for I/O automata of a special class where at each state, transitions under only inputs or under only outputs are specified. The length of a separating sequence if it exists is also briefly evaluated. Copyright © 2020 for this paper by its authors.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

BinSide: Static Analysis Framework for Defects Detection in Binary Code

BinSide: Static Analysis Framework for Defects Detection in ...

引用

2020 ivannikov Memorial Workshop, IVMEM 2020

作者： Aslanyan, Hayk Arutunian, Mariam Keropyan, Grigor Kurmangaleev, Shamil Vardanyan, Vahagn Russian-Armenian University System Programming Department Yerevan Armenia Yerevan State University Mathematics and Mechanics Department Yerevan Armenia Programming of the Russian Academy of Sciences Ivannikov Institute for System System Programming Department Moscow Russia

ISBN: (纸本)9781728190884

Software developers make mistakes that can lead to failures of a software product. One approach to detect defects is static analysis: examine code without execution. Currently, various source code static analysis tools are widely used to detect defects. However, source code analysis is not enough. The reason for this is the use of third-party binary libraries, the unprovability of the correctness of all compiler optimizations. This paper introduces BinSide: binary static analysis framework for defects detection. It does interprocedural, context-sensitive and flow-sensitive analysis. The framework uses platform independent intermediate representation and provide opportunity to analyze various architectures binaries. The framework includes value analysis, reaching definition, taint analysis, freed memory analysis, constant folding, and constant propagation engines. It provides API (application programming interface) and can be used to develop new analyzers. Additionally, we used the API to develop checkers for classic buffer overflow, format string, command injection, double free and use after free defects detection. © 2020 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：