A method and device for converting program code into data constraints

Abstract

The invention discloses a method and a device for converting program codes into data constraint. According to the method, first, the program codes are converted into an intermediate instruction set; second, the intermediate instruction set is refined and split, and variables of a complicated type involved in an original variable definition instruction are refined and split into multiple variables of a simple type in the refining and splitting process; third, the variables of the simple type are further refined into address pointer variables of a simple type and pointer pointing variables of a simple type; and last, the corresponding variable definition instruction is refined and split into a memory distribution instruction and an initialized data storage instruction targeting the address pointer variables of the simple type and the pointer pointing variables of the simple type, and then an access instruction, an arithmetic instruction and a comparison instruction in the refined and split intermediate instruction set are extracted to serve as the data constraint.

Description

technical field [0001] The invention relates to an analysis and verification technology of program codes, in particular to the problem of analyzing whether there is an error in the program codes through the data constraints after converting the program codes into data constraints. Background technique [0002] Today, with the rapid development of application software, software security and reliability have become a crucial issue, and code analysis and verification testing is a common method in related fields. Code analysis, testing, verification, etc. often need to extract corresponding constraints for the program, and judge the security of the software code on the constraint set. In this process, constraint extraction plays a very important role. [0003] One of the existing methods is to first convert the code into intermediate code through a compiler, and then extract constraints on the original code based on this. For example, the LLVM project is a modular and reusable...

AI Technical Summary

Problems solved by technology

[0005] The problem to be solved by the present invention: under the existing technology, the complexity of intermediate instructions is high, which leads to difficulties in data constraint extraction

Images