- edited description
AI fails due to NullPointerException
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)
-
reporter -
reporter - changed title to AI fails due to NullPointerException
-
repo owner -
assigned issue to
- changed component to Abstract Interpretation Framework
-
assigned issue to
-
repo owner - changed status to resolved
-
reporter - changed status to open
With latest OPAL master, I'm still seeing the
NullPointerException
on thecompiere
project (though, it doesn't appear forjboss
anymore). -
reporter - attached ATK.class
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
-
repo owner - changed milestone to 0.8.0-M2
-
repo owner - changed status to resolved
fixed issue
#37Further 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 mail@michael-eichberg.de
→ <<cset f69a74f673d6>>
-
repo owner - removed milestone
Removing milestone: 0.8.0-M2 (automated comment)
-
repo owner - removed version
Removing version: 0.8.0 (automated comment)
- Log in to comment