Research On The Scope Of Program Variables Based On Abstract Interpretation

At present,software application has penetrated into all aspects of people's life,and the quality of software has attracted people's attention.As the core of software,the correctness of program is the premise to ensure the quality of software.The value range analysis of program numerical variables plays an important role in program verification.Through the static analysis of the value range of variables,problems that are not easy to find in program testing can be detected,so as to avoid the occurrence of related errors during program running.Abstract interpretation provides a theoretical framework for program static analysis.Based on the theory of abstract interpretation,this paper studies interval and octagon.On this basis,the design and development of static detection tools to achieve the value range analysis of variables in C language programs.The specific innovation and main achievements are as follows:(1)In view of the low code coverage of the current variable value range analysis method based on interval abstract domain,an improved interval method is proposed.Based on this method,a tool is implemented to test the numerical properties of program variables.The tool considers the nesting of different sentence structures,finds the contradictory nodes in numerical programs,and considers efficiency and analysis accuracy.(2)Based on the theory of octagonal abstract domain,a detection tool for numerical program analysis is designed and implemented.By modeling and abstracting the syntax structure of the program,the tool calculates the context state of the program variables,and then judges whether the scope of the program variables meets the requirements.The tool can effectively check whether there are some runtime errors in the program,and achieve a good balance between correctness and calculation efficiency.