AI fails due to NullPointerException

[Daniel Klauer]

When running FindRealBugs' UselessIncrementInReturn analysis (which uses AI and a custom Domain) on the compiere project from the Qualitas Corpus, we get:

Exception in thread "main" de.tud.cs.st.bat.resolved.ai.InterpretationFailedException: the interpretation failed
    at de.tud.cs.st.bat.resolved.ai.AI$class.continueInterpretation(AI.scala:1777)
[...]
    at de.tud.cs.st.bat.resolved.ai.BaseAI.apply(BaseAI.scala:46)
    at de.tud.cs.st.bat.findrealbugs.analyses.UselessIncrementInReturn$$anonfun$analyze$2$$anonfun$apply$2.apply(UselessIncrementInReturn.scala:434)
[...]
Caused by: java.lang.NullPointerException
    at de.tud.cs.st.bat.resolved.ai.AI$class.continueInterpretation(AI.scala:1354)

and a similar error on the jboss project:

Exception in thread "main" de.tud.cs.st.bat.resolved.ai.InterpretationFailedException: the interpretation failed
    at de.tud.cs.st.bat.resolved.ai.AI$class.continueInterpretation(AI.scala:1777)
[...]
    at de.tud.cs.st.bat.resolved.ai.BaseAI.apply(BaseAI.scala:46)
    at de.tud.cs.st.bat.findrealbugs.analyses.UselessIncrementInReturn$$anonfun$analyze$2$$anonfun$apply$2.apply(UselessIncrementInReturn.scala:434)
[...]
Caused by: java.lang.NullPointerException
    at de.tud.cs.st.bat.resolved.ai.AI$class.continueInterpretation(AI.scala:1332)

[Michael Eichberg]

fixed issue #37

Signed-off-by: Michael Eichberg [e-mail]

→ <<cset df8bf4dfc247>>

[Daniel Klauer]

With latest OPAL master, I'm still seeing the NullPointerException on the compiere project (though, it doesn't appear for jboss anymore).

[Daniel Klauer]

This is the class file causing the problem; specifically the atk_get_default_registry method.

Source: Qualitas Corpus, compiere-330/src/release_330/tools/lib/gwt-dev-linux.jar!/org/eclipse/swt/internal/accessibility/gtk/ATK.class

[Michael Eichberg]

fixed issue #37

Further refined the handling of jsr/ret to handle the case of static method that store the return address value in the local variable with index 0

Signed-off-by: Michael Eichberg [e-mail]

→ <<cset f69a74f673d6>>

[Michael Eichberg]

Removing milestone: 0.8.0-M2 (automated comment)

[Michael Eichberg]

Removing version: 0.8.0 (automated comment)