- changed component to Abstract Interpretation Framework
-
assigned issue to
AI fails due to ImpossibleRefinement (array cast to non-array)
Issue #38
resolved
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)
-
repo owner -
repo owner - changed status to resolved
-
repo owner - changed milestone to 0.8.0-M2
-
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