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

1st European Conference for Product and Process Modelling, ECPPM 2010

作者： Semenov, V.A. Kazakov, K.A. Morozov, S.V. Tarlapan, O.A. Zolotov, V.A. Dengenis, T. Institute for System Programming RAS Moscow Russia Synchro Ltd. Coventry United Kingdom

ISBN: (纸本)9780415605076

There has been a growing interest in the emerging technology of four-dimensional modelling and planning of industrial projects. In comparison with traditional 3D CAD and project management systems, 4D modelling provides for more comprehensive visual analysis of the projects. As free and commercial applications are becoming more accessible, numerous attempts to employ it in different industrial domains and programs are undertaken. Nevertheless, most applications are faced with the fundamental problem of the performance degradation at large-scale projects. In this paper we discuss an approach to 4D modelling using spatio-temporal decomposition and providing special facilities to effectively access project data and to execute typical requests relevant to given time and space domains. Three partitioning schemas are presented and analysed to satisfy performance requirements. The schemas exploit peculiarities of spatial and temporal coherence of pseudo-dynamic scenes appearing in 4D modelling and planning applications. Theoretical complexity estimates are given to prove the suitability of the schemas for efficient modelling of large industrial projects. © 2010 Taylor & Francis Group, London.

关键词： Computer aided design

来源：评论

学校读者我要写书评

暂无评论

Research on automatic generation of fuzz-target for software library functions

Research on automatic generation of fuzz-target for software...

引用

2022 Ivannikov Open Conference, ISPras 2022

作者： Tran, Chi Thien Ponomarev, Dmitry Kuznhesov, Andrey Programming of the Ras Ivannikov Institute for System Moscow Russia Llc 'Fobos-nt' Moscow Russia

ISBN: (纸本)9798350398533

To avoid re-development, software libraries are widely used. However, the automated testing of software libraries remains challenging. This article focuses on the use of fuzzing technology and automatic code generation for testing software libraries. Since late of 2020, the instrument Futag [1] - Fuzz-targets automatic generator for software libraries - has been developed in Ivannikov institute for system programming of Russian academy of science. The instrument gathers data on the building process, generates the fuzz-targets for library functions, and performs static analysis to find entity dependencies in library source code. As result, Futag has found bugs in software libraries such as libpng, tinyxml2, libpq-standalone, etc. © 2022 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Strong Optimistic Solving for Dynamic Symbolic Execution

Strong Optimistic Solving for Dynamic Symbolic Execution

引用

2022 Ivannikov Memorial Workshop, IVMEM 2022

作者： Parygina, Darya Vishnyakov, Alexey Fedotov, Andrey Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

ISBN: (数字)9781665492973

ISBN: (纸本)9781665492973

Dynamic symbolic execution (DSE) is an effective method for automated program testing and bug detection. It is increasing the code coverage by the complex branches exploration during hybrid fuzzing. DSE tools invert the branches along some execution path and help fuzzer examine previously unavailable program parts. DSE often faces over-and underconstraint problems. The first one leads to significant analysis complication while the second one causes inaccurate symbolic *** propose strong optimistic solving method that eliminates irrelevant path predicate constraints for target branch inversion. We eliminate such symbolic constraints that the target branch is not control dependent on. Moreover, we separately handle symbolic branches that have nested control transfer instructions that pass control beyond the parent branch scope, e.g. return, goto, break, etc. We implement the proposed method in our dynamic symbolic execution tool *** evaluate the strong optimistic strategy, the optimistic strategy that contains only the last constraint negation, and their combination. The results show that the strategies combination helps increase either the code coverage or the average number of correctly inverted branches per one minute. It is optimal to apply both strategies together in contrast with other configurations. © 2022 IEEE.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

SMT solvers in application to static and dynamic symbolic execution: A case study

SMT solvers in application to static and dynamic symbolic ex...

引用

2019 Ivannikov Ispras Open Conference, ISPras 2019

作者： Malyshev, Nikita Dudina, Irina Kutz, Daniil Novikov, Alexander Vartanov, Sergey Ivannikov Institute for System Programming RAS Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9781728160559

This paper studies the performance and working aspects of SMT solvers on processing formulas acquired during path-sensitive static analysis and dynamic symbolic execution. We review some general patterns of building SMT formulas in the QF_BV logic during analysis and related technical specifics. We also provide the results of comparing different solvers on two sets of requests obtained by Svace static analyzer and Anxiety dynamic symbolic execution tool. It turns out that Yices2 solver performs the best, although, for Svace, notable part of requests can be done better by other solvers. In return, Yices2 misses some features crucial to top-tier analyzers such as deterministic time limit. A brief attempt at making machine learning based solver portfolio shows that solving time can be enhanced, but requires some serious work on feature selection, while technical difficulties may render it unpractical. For Anxiety we found out that with Yices2 incremental solving is almost always faster (sometimes dozens of times faster) than non-incremental. Moreover, the more queries we solve incrementally, the higher acceleration we get. © 2019 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Crash Report Accumulation During Continuous Fuzzing

Crash Report Accumulation During Continuous Fuzzing

引用

2024 Ivannikov Memorial Workshop, IVMEM 2024

作者： Yegorov, Ilya Savidov, Georgy Ivannikov Institute for System Programming of the RAS Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9798331504663

Crash report accumulation is a necessary step during continuous fuzzing. Dynamic software analysis techniques like fuzzing and dynamic symbolic execution generate a large number of crashes for analysis. However, the time and resource constraints often lead to the postponement of fixing some less critical issues, potentially introducing new errors in future releases. Thus, there is a need to distinguish new errors from old ones. We propose a crash accumulation method and implemented it as part of the CASR toolset. We evaluated our approach on crash reports collected from fuzzing results. © 2024 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Devirtualization for static analysis with low level intermediate representation

Devirtualization for static analysis with low level intermed...

引用

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

来源：评论

学校读者我要写书评

暂无评论

A TLM-based approach to functional verification of hardware components at different abstraction levels

A TLM-based approach to functional verification of hardware ...

引用

Latin American Test Workshop

作者： Chupilko, Mikhail Kamkin, Alexander Institute for System Programming of RAS A. Solzhenitsyn st. 25 109004 Moscow Russia

ISBN: (纸本)9781457714900

Verification has long been recognized as an integral part of the hardware design process. When designing a system, engineers usually use various design representations and concretize them step by step up to a physical layout. At the beginning of the process, when there is much of indeterminacy, only abstract reference models are applicable to verification;when the process is close to the end, more concrete ones can be utilized. The article concerns problems of developing reusable verification systems (testbenches), which can be used to analyze different versions of the same component at different abstraction levels. We suggest an approach to construct reusable reaction checkers basing on a concept of Transaction Level Modeling (TLM). The paper includes general description of the approach, considers several particular cases, and outlines our experience. © 2011 IEEE.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Numerical Simulation of Propeller Hydrodynamics Using the Open Source Software 1

引用

23rd International Conference on Computational Science, ICCS 2023

作者： Britov, Andrey Yarikova, Sofya Epikhin, Andrey Elistratov, Stepan Zhang, Qin Ivannikov Institute for System Programming of the RAS Moscow Russia Shirshov Institute of Oceanology of the RAS Moscow Russia Ocean University of China Qingdao China

ISBN: (数字)9783031360305

ISBN: (纸本)9783031360299

The paper presents the results of numerical simulation of the propeller Ka4-70 using the actuator line model in the OpenFOAM, AMReX and Nek5000 open-source software. The modifications of the tools for wind farm simulation for these packages are carried out. Features of these implementation are described. For numerical calculations the LES and IDDES turbulence models are used. A comparison of the computational costs and accuracy of flow structures are made for the actuator line model using different methods and the arbitrary mesh interface approach. The actuator line model provides force characteristics and flow structures with good enough accuracy. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Actuators

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：