The Design and Implement of the Instrument of Dynamically Discovering C Program Invariants

LIU Jie,YANG Xiao-hua,YU Tong-lan
DOI: https://doi.org/10.3969/j.issn.1008-0570.2008.12.093
2008-01-01
Abstract:Program invariant is a kind of logic assertion which can be used to show some true properties during the program running. Producing data trace of the running program,which is the task of program instrument,is one of the key steps to discover the pro-gram invariants.. The main principle and method of program instrument are shown in this paper. what is more,the whole process of the design of a new tool of program instrument is detailed.,which is applied to dynamically discovering C program invariants.
What problem does this paper attempt to address?