关键词: 缺陷检测, 非法计算, 静态分析, 抽象内存模型

Abstract: In order to automatically detect illegal computing defects for C procedures based on static analysis, this paper introduces a method based on region-based memory model. Firstly, a restricted set is proposed, which can describe the constraint of illegal computing operation. Then, an abstract region-based memory model is introduced to describe actual memory, and dataflow analysis is implemented based on this model. Furthermore, this paper introduces an illegal computing defect detection method based on the result of dataflow analysis, which determines the illegal computing operation by judging restricted operations whether or not violate constraints. Experimental results of five real projects show that this method can detect various illegal computing defects.

Key words: defect detection, illegal computing, static analysis, abstract memory model