Checking Cleanness in Linked Lists

摘要: A new algorithm is presented that automatically uncovers memory errors such as NULL pointers dereference and leaks in C programs. The conservative, i.e., it can never miss an error but may report “false alarms”. When applied to several intricate programs manipulating singly linked lists, the yields more accurate results, does not any false alarm usually runs even faster consumes less space than a precise algorithm.