AI fails due to NullPointerException

Issue #37 resolved
Daniel Klauer
created an issue

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)

Comments (10)

  1. Daniel Klauer reporter

    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

  2. Log in to comment