50 search results - page 1 / 10 » Detecting Null Pointer Violations in Java Programs |
COMPSAC
1999
IEEE
13 years 9 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
CAV
2012
Springer
11 years 7 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
PASTE
2010
ACM
13 years 6 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
ICSE
2009
IEEE-ACM
14 years 5 months ago
2009
IEEE-ACM
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 inter...