AbstractInterpretation fails for jboss-5.1.0

Issue #140 resolved
errt
created an issue

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

Comments (7)

  1. Michael Eichberg repo owner

    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
    
  2. Log in to comment