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.

Methdology

  • Finding Potential Null Pointers

    • Use a conservative flow-sensitive intraprocedural dataflow analysis to statically determine if an expression is non-null. Expressions that are not known to be non-null are flagged for transformation.
  • Error Handling Transformations

    • Combine different policies: calling the default constructors, skipping one line ...

URL

Changing Javas Semantics for Handling Null Pointer Exceptions

标签: Paper Review, Self-Healing

已有 4 条评论

  1. viagra and alcohol side effects topics - prozac compatibility with viagra - natural cures for ed

  2. cialis 10mg total topics - generic cialis suppliers in uk - cialis from canada no prescription [...]

  3. cialis experiences - cialis 40 mg - cialis pills for men you have posted in this thread

  4. viagra viagra market share special offer $0 99 per pill - viagra price in india title - viagra [...]

添加新评论