CHA and VTACallgrapDomain fail on unknow ObjectType

Issue #32 resolved
Frederik Buss-Joraschek created an issue

Related to issue 28, but this time the hierarchy fails. A guarding classHierarchy.ifKnown might help?

Exceptions that occured while creating the call graph...:
While analyzing: org.gudy.azureus2.ui.swt.ImageRepository{ org.eclipse.swt.graphics.Image getPathIcon(java.lang.String,boolean,boolean) }
    [the abstract interpretation failed] reason:
    java.lang.ArrayIndexOutOfBoundsException: 8794
    org.opalj.br.analyses.ClassHierarchy.isInterface(ClassHierarchy.scala:167)
    org.opalj.br.analyses.ClassHierarchy.lookupImplementingMethods(ClassHierarchy.scala:859)
    org.opalj.ai.project.CHACallGraphDomain$$anonfun$1.apply(CHACallGraphDomain.scala:136)
    org.opalj.ai.project.CHACallGraphDomain$$anonfun$1.apply(CHACallGraphDomain.scala:136)
    org.opalj.ai.project.CallGraphCache.getOrElseUpdate(CallGraphCache.scala:129)
    org.opalj.ai.project.CHACallGraphDomain$class.virtualMethodCall(CHACallGraphDomain.scala:135)

Comments (4)

  1. Log in to comment