@inproceedings{05619a7a7d0f4a718da7ee35b1f038db,
title = "Checking cleanness in linked lists",
abstract = "A new algorithm is presented that automatically uncovers memory errors such as NULL pointers dereference and memory leaks in C programs. The algorithm is conservative, i.e., it can never miss an error but may report {"}false alarms{"}. When applied to several intricate C programs manipulating singly linked lists, the new algorithm yields more accurate results, does not report any false alarm and usually runs even faster and consumes less space than a less precise algorithm.",
author = "Nurit Dor and Michael Rodeh and Mooly Sagiv",
year = "2000",
doi = "10.1007/978-3-540-45099-3_7",
language = "אנגלית",
isbn = "3540676686",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "115--135",
editor = "Jens Palsberg",
booktitle = "Static Analysis - 7th International Symposium, SAS 2000, Proceedings",
address = "גרמניה",
note = "7th International Symposium on Static Analysis, SAS 2000 ; Conference date: 29-06-2000 Through 01-07-2000",
}