Detection of heap management flaws in component-based software

Conference Proceedings of the EUROMICRO

Volumn 30, Issue , 2004, Pages 583-590

  Verta, Heikki ^a   Saridakis, Titos ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONSTRAINT THEORY; EMBEDDED SYSTEMS; ERROR ANALYSIS; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING; REAL TIME SYSTEMS; STORAGE ALLOCATION (COMPUTER); OBJECT ORIENTED PROGRAMMING;

COMPONENT-BASED SOFTWARE; HEAP MANAGEMENT FLAWS; OFF-LINE ANALYSIS; REAL-TIME CONSTRAINT; APPLICATION PROGRAMMERS; COMPONENT BASED; COMPONENT BASED SOFTWARE; DE-ALLOCATION; MANAGEMENT IS; RUNNING APPLICATIONS;

OBJECT ORIENTED PROGRAMMING; PROBLEM ORIENTED LANGUAGES;

EID: 11844294686     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/eurmic.2004.1333426     Document Type: Conference Paper

References (14)

1. T. Austin, S. Breach, and G. Sohi. Efficient Detection of All Pointer and Array Access Errors. In Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation (PLDI'94), pages 290-301, June 1994.
2. W. Bush, J. Pincus, and D. Sielaff. A Static Analyzer for Finding Dynamic Programming Errors. Software: Practice and Experience, 30(7):775-802, June 2000.
3. N. Dor, M. Rodeh, and M. Sagiv. Detecting memory errors via static pointer analysis (preliminary experience). In Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 27-34. ACM Press, 1998.
4. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as Deviant Behavior: a General Approach to Inferring Errors in Systems Code. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP-18), pages 57-72, October 2001.
5. C. Erickson. Memory leak detection in embedded systems. Linux J., 2002(101):9, 2002.
6. C. Erickson. Memory leak detection in c++. Linux J., 2003(110):8, 2003.
7. D. Evans. Static Detection of Dynamic Memory Errors. In Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (PLDI'96), pages 44-53, May 1996.
8. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter USENIX Conference, pages 125-136, January 1992.
9. D. Heine and M. Lam. A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), pages 168-181, May 2003.
10. R. ITEA-00001. Robust Open Component Based Software Architecture for Configurable Devices. http://www.extra.research.philips.com/-euprojects/robocop/ .
11. S. ITEA-02016. Software Platform and Component Environment for You. http://www.extra.research.philips.com/euprojects/-space4u/.
12. J. Lahtonen. Gathering of trace data in a mobile phone. Master's thesis, Tampere University of Technology, 2001.
13. B. Scholz, J. Blieberger, and T. Fahringer. Symbolic Pointer Analysis for Detecting Memory Leaks. In Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 104-113, November 1999.
14. H. Verta. Trace Based Off-Line Analysis of Component-Based Systems. Master's thesis, Helsinki University of Technology, May 2004.