Method for detecting single-variable atom violation defects

Abstract

The invention discloses a method for detecting single-variable atomic violation defects, and the method comprises the following steps: converting a source code of preset interrupt-driven software into an intermediate representation form LLVM IR, and constructing a program dependency graph according to the intermediate representation form; constructing an explosion hypergraph according to the program dependence graph and a preset IFDS framework, analyzing the main program data flow according to the explosion hypergraph to determine two accessible access sequences of each global variable serial, and analyzing the feasibility of the two access sequences to obtain a first analysis result; determining at least one shared global variable according to the first analysis result, determining a three-time access sequence corresponding to each shared global variable, analyzing the feasibility of the three-time access sequence to obtain a second analysis result, determining atomic violation defects according to the second analysis result, and generating a defect report. According to the invention, the technical problems of low accuracy and low efficiency of single-variable atomicity violation defect detection in the prior art are solved.

Description

technical field [0001] The present application relates to the technical field of interrupting concurrent program defects, in particular to a detection method for univariate atomic violation defects. Background technique [0002] Interrupt data access conflict is a concurrency defect in interrupt-driven software, specifically refers to accessing the same shared data between the main program and interrupt (or interrupt and interrupt) at a specific timing, resulting in unexpected modification of variable values ​​in the software, Abnormalities such as the atomicity of the calculation process being destroyed, these anomalies directly affect the reliability of aerospace embedded software. Interrupt data access conflicts include data races, atomic violations, and order violations. Among them, atomic violation defects refer to any two consecutive accesses to the same variable in the main program as an atomic area. The case in which variables have overlapping read and write accesse...

AI Technical Summary

Problems solved by technology

[0004] The technical problem to be solved by this application is: aiming at the low accuracy and efficiency of detection of univariate atomicity violation defect in the prior art, this application provides a detection method for univariate atomicity violation defect, provided by the embodiment of this application In the scheme, the feasibility analysis of the main program's two-time access sequence is analyzed separately, and the feasibility analysis of the three-time access sequence plus interrupt program access is carried out according to the feasibility analysis results of the main program's two-time access sequence, that is, through multi-stage analysis The method improves the accuracy of atomic violation defect detection; and adopts the bottom-up modular analysis method, which not only avoids repeated analysis, reduces a large amount of calculation overhead, improves the efficiency of atomic violation defect detection, but also avoids the traditional method path Explosion, the disadvantage of not being able to handle medium to large programs

Images