[Paper Review] Changing Javas Semantics for Handling Null Pointer Exceptions
Short Introduction to This Paper
This paper introduces APPEND , an automated approach to preventing and handling null pointer exceptions in Java programs. It analyzes programs to locate possible null pointer dereferences and then inserts null checks and error handling code. The error-handling code is specified at compile-time via composable, context-sensitive recovery policies.