NullPointer detection with BoomerangPDS #255
Description
Hi
I am trying to use BoomerangPDS for identifying NullPointerDereferences. I could locate a file providing the logic for this functionality—boomerang.results.NullPointerDereference.java. While trying to invoke this logic using template from boomerang.example.ExampleMain2.java, I encountered a null pointer exception. Specifically, the method getPotentialNullPointerDereferences() in the file boomerang.results.ForwardBoomerangResults is giving an NPE during execution.
I have attached the sample code, ExampleMain3.java, which I have written (adapted from Main2) to invoke the getPotentialNullPointerDereferences() method. Additionally, I am attaching the target program.
However, the Null Pointer utility employs DataFlowPath, which is currently returning as null.
Regards
Anushri Jana