Class IntraproceduralNullPointerAnalysis

java.lang.Object
com.ibm.wala.analysis.nullpointer.IntraproceduralNullPointerAnalysis

public class IntraproceduralNullPointerAnalysis extends Object
Intraprocedural dataflow analysis to detect impossible NullPointerExceptions.

This class is basically a copy of IntraprocNullPointerAnalysis, but does only provide the result of the analysis instead of a pruned CFG.

Author:
Stephan Gocht <stephan@gobro.de>
  • Constructor Details

    • IntraproceduralNullPointerAnalysis

      public IntraproceduralNullPointerAnalysis(IR ir)
  • Method Details