Assembly program control flow path detection method and device

Abstract

The invention belongs to the technical field of computer program analysis and software testing and discloses an assembly program control flow path detection method. The method comprises the followingsteps of detecting and deleting annotations of code segments in an assembly program, and renaming an integer register; obtaining a control flow graph CFG of the assembly program through the auxiliarytable AT and the control flow original data CRD; inserting a path label into the head of the instruction sequence of the basic block BBN to generate new control flow original data CRD; recombining thenew control flow original data CRD to obtain a new assembly program with a path label; compiling the new assembly program with the path label and the probe program into an executable file, and generating a result file; and reading the generated result file, and performing statistics according to paths to obtain passing rates of different paths. According to the detection method, the control flowinformation of the assembly program can be rapidly and accurately obtained, then the dynamic information such as path coverage testing is obtained, and the detection method has advantages of being light in weight, high in pertinence, easy to modify and maintain and the like.

Description

technical field [0001] The invention belongs to the technical field of computer program analysis and software testing, in particular relates to the detection of assembly program control flow paths, in particular to a detection method and device for assembly program control flow paths used on domestic platforms. Background technique [0002] Path coverage testing can be used to detect program branch coverage and statement coverage, and code analysis and stub instrumentation are two important links in implementing path coverage testing. On the basis of maintaining the original logical integrity of the program under test, some probes are inserted into the program. These probes are essentially code segments for information collection, which can be assignment statements or function calls to collect coverage information. Through the execution of the probe and output the running characteristic data of the program. Based on the analysis of these characteristic data, the control fl...

AI Technical Summary

Problems solved by technology

Therefore, the testing and optimization of these core system software is very important, but the current domestic platform testing tools are not complete enough

Because the mainstream control flow analysis tools IDA Pro and Intel Pin at home and abroad are too large and have complex programs, it is very difficult to transplant to domestic platforms. Therefore, the domestic platforms are not very targeted and difficult to adjust and maintain.

In addition, Intel Pin's dynamic C and C++ program instrumentation probe feedback method is good for single-run programs, but it is difficult to collect and sort out the feedback results of programs that need to calculate tens of millions of test data, and cannot reflect them well. One-to-one correspondence between the outbound control flow and the input test data

In addition to the above-mentioned two most widely used code analysis tools on non-domestic platforms, code analysis tools such as PLC program control flow analysis, Klocwork code static analysis tool and LDRA Testbed coding rule detection tool are also not friendly enough to domestic platforms. work will be very difficult

Images