test1.Main: void <init>()>) no defs for value: tmpRef!

GitHub | karanaggarwal1994 | 4 months ago
  1. 0

    soot.validation.ValidationException when ...

    GitHub | 4 months ago | karanaggarwal1994
    test1.Main: void <init>()>) no defs for value: tmpRef!

    Root Cause Analysis

    1. test1.Main

      void <init>()>) no defs for value: tmpRef!

      at soot.validation.UsesValidator.validate()
    2. soot.validation
      UsesValidator.validate
      1. soot.validation.UsesValidator.validate(UsesValidator.java:76)
      1 frame
    3. RoboVM Compiler
      PackManager$1.run
      1. soot.Body.validate(Body.java:258)
      2. soot.jimple.JimpleBody.validate(JimpleBody.java:120)
      3. soot.jimple.JimpleBody.validate(JimpleBody.java:110)
      4. soot.PackManager.runBodyPacks(PackManager.java:988)
      5. soot.PackManager.access$000(PackManager.java:138)
      6. soot.PackManager$1.run(PackManager.java:633)
      6 frames
    4. Java RT
      Thread.run
      1. java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
      2. java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
      3. java.lang.Thread.run(Thread.java:745)
      3 frames