AI fails due to ImpossibleRefinement (array cast to non-array)

When running FindRealBugs' UselessIncrementInReturn analysis (which uses AI and a custom Domain) on the gt2 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: de.tud.cs.st.bat.resolved.ai.domain.l0.TypeLevelReferenceValues$ImpossibleRefinement: refining ReferenceValue(java.lang.Object[]) failed: cast to a non-array value: ObjectType(org/geotools/data/wfs/v1_0_0/LockRequest)

and a similar error on the jtopen project:

Caused by: de.tud.cs.st.bat.resolved.ai.domain.l0.TypeLevelReferenceValues$ImpossibleRefinement: refining ReferenceValue(java.lang.String[]) failed: cast to a non-array value: ObjectType(java/lang/String)

and a similar error on the rssowl project:

Caused by: de.tud.cs.st.bat.resolved.ai.domain.l0.TypeLevelReferenceValues$ImpossibleRefinement: refining ReferenceValue(java.lang.Object[]) failed: cast to a non-array value: ObjectType(org/eclipse/update/internal/ui/model/ConfiguredFeatureAdapter)

Comments (5)