ClassValues fails on ArrayTypes

Analyzing forName calls with Array target fails:

Class<?> c = Class.forName("[Ljava.lang.Object;");

[the abstract interpretation failed] reason:
    java.lang.ClassCastException: a ArrayType cannot be cast to an ObjectType
    org.opalj.br.Type.asObjectType(Type.scala:181)
    org.opalj.ai.domain.l1.ClassValues$class.classForName$1(ClassValues.scala:130)
    org.opalj.ai.domain.l1.ClassValues$class.invokestatic(ClassValues.scala:147)

Comments (4)