Checking Cleanness in Linked Lists-Reference-Cited by-同舟云学术

Checking Cleanness in Linked Lists

Published:2000 Issue: Volume: Page:115-134
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Dor Nurit,Rodeh Michael,Sagiv Mooly

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45099-3_7

Reference29 articles.

1. Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Univ. of Copenhagen (May 1994)

2. Austin, T.M., Breach, S.E., Sohi, G.S.: Efficient detection of all pointer and array access errors. In: SIGPLAN Conf. on Prog. Lang. Design and Impl. ACM Press, New York (1994)

3. Chase, D.R., Wegman, M., Zadeck, F.: Analysis of pointers and structures. In: SIGPLAN Conf. on Prog. Lang. Design and Impl., New York, NY, pp. 296–310. ACM Press, New York (1990)

4. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Symp. on Princ. of Prog. Lang., New York, NY, pp. 269–282. ACM Press, New York (1979)

5. Dor, N., Rodeh, M., Sagiv, M.: Detecting memory errors via static pointer analysis. In: Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998), pp. 27–34 (June 1998), Available at http://www.math.tau.ac.il/nurr/paste98.ps.gz

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deciding memory safety for single-pass heap-manipulating programs;Proceedings of the ACM on Programming Languages;2020-01

2. IDE al : efficient and precise alias-aware dataflow analysis;Proceedings of the ACM on Programming Languages;2017-10-12

3. Prioritizing Test Cases for Memory Leaks in Android Applications;Journal of Computer Science and Technology;2016-09

4. LeakChecker;Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization;2014-02-15

5. Memory Leaks Detection in Java by Bi-abductive Inference;Fundamental Approaches to Software Engineering;2010