Accurate Interprocedural Null-Dereference Analysis for Java

Null dereference is a commonly occurring defect in Java programs, and many static-analysis tools identify such defects. However, most of the existing tools perform a limited interprocedural analysis. In this paper, we present an interprocedural path-sensitive and context-sensitive analysis for ident...

Full description

Saved in:
Bibliographic Details
Published in:2009 IEEE 31st International Conference on Software Engineering pp. 133 - 143
Main Authors: Nanda, Mangala Gowri, Sinha, Saurabh
Format: Conference Proceeding
Language:English
Published: Washington, DC, USA IEEE Computer Society 16.05.2009
IEEE
Series:ACM Conferences
Subjects:
Arithmetic
Computer bugs
General and reference > Cross-computing tools and techniques > Reliability
Information analysis
Java
Open source software
Performance analysis
Safety
Software and its engineering > Software notations and tools
Software and its engineering > Software notations and tools > General programming languages > Language types
Software and its engineering > Software organization and properties > Extra-functional properties > Software reliability
ISBN:9781424434534, 142443453X
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first