AbstractInterpretation fails for jboss-5.1.0

[errt]

AbstractInterpretation for the attached jar file fails with the following error:

Caused by: java.lang.NullPointerException
    at org.opalj.ai.domain.RecordDefUse.updateUsageInformation(RecordDefUse.scala:242)
    at org.opalj.ai.domain.RecordDefUse.$anonfun$abstractInterpretationEnded$6(RecordDefUse.scala:1030)
    at org.opalj.ai.domain.RecordDefUse.$anonfun$abstractInterpretationEnded$6$adapted(RecordDefUse.scala:1030)
    at org.opalj.collection.immutable.Chain.forFirstN(Chain.scala:190)
    at org.opalj.collection.immutable.Chain.forFirstN$(Chain.scala:184)
    at org.opalj.collection.immutable.$colon$amp$colon.forFirstN(Chain.scala:751)
    at org.opalj.ai.domain.RecordDefUse.abstractInterpretationEnded(RecordDefUse.scala:1030)
    at org.opalj.ai.domain.RecordDefUse.abstractInterpretationEnded$(RecordDefUse.scala:877)
    at org.opalj.ai.domain.l1.DefaultDomainWithCFGAndDefUse.abstractInterpretationEnded(DefaultDomain.scala:83)
    at org.opalj.ai.AI.abstractInterpretationEnded$1(AI.scala:619)
    ... 30 more

[Michael Eichberg]

jar:file:/Users/Michael/Desktop/jboss.jar!/org/jboss/ejb/plugins/TxInterceptorCMT.class

org/jboss/ejb/plugins/TxInterceptorCMT "private java.lang.Object runWithTransactions(org.jboss.invocation.Invocation)" Length: 725 anon$1 the interpretation failed

org.opalj.ai.InterpretationFailedException$ apply   81
org.opalj.ai.AI throwInterpretationFailedException$1    586
org.opalj.ai.AI abstractInterpretationEnded$1   625
org.opalj.ai.AI continueInterpretation  2721
org.opalj.ai.AI continueInterpretation  392
org.opalj.ai.AI performInterpretation   365
org.opalj.ai.AI perform 339
org.opalj.ai.AI apply   196
org.opalj.support.debug.InterpretMethodsAnalysis$   $anonfun$interpret$1    186
scala.runtime.java8.JFunction0$mcJ$sp   apply   12
org.opalj.util.PerformanceEvaluation    time    66
org.opalj.support.debug.InterpretMethodsAnalysis$   analyzeMethod$1 183
org.opalj.support.debug.InterpretMethodsAnalysis$   $anonfun$interpret$4    239
org.opalj.concurrent.package$   $anonfun$parForeachArrayElement$2   241
scala.runtime.java8.JFunction0$mcV$sp   apply   12
scala.concurrent.Future$    $anonfun$apply$1    655
scala.util.Success  $anonfun$map$1  251
scala.util.Success  map 209
scala.concurrent.Future $anonfun$map$1  289
scala.concurrent.impl.Promise   liftedTree1$1   29
scala.concurrent.impl.Promise   $anonfun$transform$1    29
scala.concurrent.impl.CallbackRunnable  run 60
java.util.concurrent.ThreadPoolExecutor runWorker   1149
java.util.concurrent.ThreadPoolExecutor$Worker  run 624
java.lang.Thread    run 748

caused by:

NullPointerException null

org.opalj.ai.domain.RecordDefUse    updateUsageInformation  242
org.opalj.ai.domain.RecordDefUse    $anonfun$abstractInterpretationEnded$6  1030
org.opalj.ai.domain.RecordDefUse    $anonfun$abstractInterpretationEnded$6$adapted  1030
org.opalj.collection.immutable.Chain    forFirstN   190
org.opalj.collection.immutable.Chain    forFirstN$  184
org.opalj.collection.immutable.$colon$amp$colon forFirstN   751
org.opalj.ai.domain.RecordDefUse    abstractInterpretationEnded 1030
org.opalj.ai.domain.RecordDefUse    abstractInterpretationEnded$    877
org.opalj.ai.domain.l1.DefaultDomainWithCFGAndDefUse    abstractInterpretationEnded 83
org.opalj.ai.AI abstractInterpretationEnded$1   621
org.opalj.ai.AI continueInterpretation  2721
org.opalj.ai.AI continueInterpretation  392
org.opalj.ai.AI performInterpretation   365
org.opalj.ai.AI perform 339
org.opalj.ai.AI apply   196
org.opalj.support.debug.InterpretMethodsAnalysis$   $anonfun$interpret$1    186
scala.runtime.java8.JFunction0$mcJ$sp   apply   12
org.opalj.util.PerformanceEvaluation    time    66
org.opalj.support.debug.InterpretMethodsAnalysis$   analyzeMethod$1 183
org.opalj.support.debug.InterpretMethodsAnalysis$   $anonfun$interpret$4    239
org.opalj.concurrent.package$   $anonfun$parForeachArrayElement$2   241
scala.runtime.java8.JFunction0$mcV$sp   apply   12
scala.concurrent.Future$    $anonfun$apply$1    655
scala.util.Success  $anonfun$map$1  251
scala.util.Success  map 209
scala.concurrent.Future $anonfun$map$1  289
scala.concurrent.impl.Promise   liftedTree1$1   29
scala.concurrent.impl.Promise   $anonfun$transform$1    29
scala.concurrent.impl.CallbackRunnable  run 60
java.util.concurrent.ThreadPoolExecutor runWorker   1149
java.util.concurrent.ThreadPoolExecutor$Worker  run 624
java.lang.Thread    run 748

[Michael Eichberg]

OPAL-DeveloperTools/run -cp=/Users/Michael/Desktop/jboss.jar -domain=org.opalj.ai.domain.l1.DefaultDomainWithCFGAndDefUse

[Michael Eichberg]

See https://bitbucket.org/delors/opal/commits/10030b352566ab2a43807aa8e3ec1d7f9628003b

[Michael Eichberg]

well…. there is always a fix for a premature fix… (still fixing issue #140)

Signed-off-by: Michael Eichberg [e-mail]

→ <<cset 86363602f2e0>>

[errt]

well…. there is always a fix for a premature fix… (still fixing issue #140)

Signed-off-by: Michael Eichberg [e-mail]

→ <<cset e43f03a649ba>>

[Michael Eichberg]

Well it is still not completely solved after all...

[Michael Eichberg]

https://bitbucket.org/delors/opal/commits/adb1c6d9d93223eac7e022f6c3ed826d535f4e3c

[Michael Eichberg]

Removing version: 1.1.0 (automated comment)