基于数据流分析的单链表可达性自动化验证

冬雨辰,王寒非,赵建华

Automatic Verification of Singly Linked List Pointer’s Reachability Property Using Data-flow Analysis Method

DONG Yu-chen, WANG Han-fei and ZHAO Jian-hua

计算机科学 . 2015, (12): 47 -51 .