Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of part...
详细信息
Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of particular kernel modules of interest without adverse influence on the rest of the kernel. Methods and tools for addressing this challenge are the main subject of this paper. The basic method for low-influence runtime analysis of interacting software modules is call interception. Shadow state techniques represent another method. In this paper, we discuss these methods including three different approaches to implement call interception. Conclusions are made about the most suitable ways for runtime analysis of kernel modules. Finally, we present KEDR framework, an extensible runtime analysis system for Linux kernel modules, which deploys these approaches to perform different types of analysis. The system can be used by the developers of kernel modules and, in particular, may be useful for building automated driver verification systems.
State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as wel...
详细信息
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 inte...
详细信息
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.
Typology of semantic shifts has been in the focus of linguistic typology for the last 20 years. Emergence of cross-linguistic databases and linguistic platforms has taken the study of semantic changes to the new level...
详细信息
Typology of semantic shifts has been in the focus of linguistic typology for the last 20 years. Emergence of cross-linguistic databases and linguistic platforms has taken the study of semantic changes to the new level, as it enlarged the sample of the languages under investigation. Yet the languages of Russia are only scarcely represented in the global databases and do not make a substantial contribution to this field. The LingvoDoc platform, which stores unique materials on the languages of Russia, upon certain enhancements can fill in this gap.
We offer a standpoint that emotions are a necessary mechanism for autonomous control systems. By an autonomous controlled object we understand an object, that is controlled by a control system which is its on-board su...
详细信息
We offer a standpoint that emotions are a necessary mechanism for autonomous control systems. By an autonomous controlled object we understand an object, that is controlled by a control system which is its on-board subsystem. The control system performs learning and control in one process. We develop a methodology of autonomous adaptive control (AAC), that allows us to construct a control system for a given controlled object. As the control goals we take the controlled object survival and the knowledge accumulation. As a whole these goals bring maximization of the controlled object lifetime. We suggest an emotions modeling mechanism (EM). We give the description of its functions and their implementation in AAC methodology. These functions are: (1) a compulsion of the control system for activity; (2) an appreciation of the CO current state at its quality; (3) an appreciation of the formed patterns and their usefulness for control goals; (4) an influence on tempo and depth of reasoning of decision making in current state; (5) providing the decision making subsystem with emotional appraisals of the recognized patterns; (6) providing transfer of information on patterns of emotional appraisals simultaneously with information on the patterns while the organism interacts with another organism.
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 analys...
详细信息
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.
This paper presents a method for automatic reconstruction of polymorphic class hierarchies from the assembly code obtained by compiling a C++ program. If the program is compiled with run-time type information (RTTI), ...
详细信息
Ensuring the security and reliability of machine learning frameworks is crucial for building trustworthy AI-based systems. Fuzzing, a popular technique in secure software development lifecycle (SSDLC), can be used to ...
详细信息
Many state machine based strategies return complete but infinite test suites. A usual approach to guarantee the fault coverage with respect to some kind of faults is to limit the number of faults, i.e., to consider a ...
详细信息
Many state machine based strategies return complete but infinite test suites. A usual approach to guarantee the fault coverage with respect to some kind of faults is to limit the number of faults, i.e., to consider a finite fault domain. In this paper, we summarize some results on deriving complete test suites w.r.t. infinite faults domains but w.r.t. special types of the specification machine.
The paper presents a case study of building solution for automation of Integrated Modular Avionics system design and system integration processes within existing industrial environment on base of model driven approach...
详细信息
The paper presents a case study of building solution for automation of Integrated Modular Avionics system design and system integration processes within existing industrial environment on base of model driven approaches. Features of modern architecture description language are discussed and experience of building a tool chain on top of one of them is described.
暂无评论