A Practical Detection Method of Program Control Flow Error
Song We · Mianyang Shifan Xueyuan xuebao · 2014
This paper introduces a method for detecting software control flow error,the principle,concrete implementation and test result is given. Based on RSCFC method,our proposed method divides program into basic modules,sets static markup for each module respectively,inserts test and set instructions in header and tail of each module. For detecting control flow error,the proposed method compares dynamic mark generated at run time and static mark generated at compile time,if they are not match,the control flow error is occurred. Compared to the RSCFC method,the advantages of this method are: use the same length markers to code more basic modules; detect error in the beginning and at the end of the basic module so error coverage rate is higher; detect all single control flow errors in the current basic module,do not delay to the time when control flow into the next basic module.