java.lang.NullPointerException

GitHub | markro49 | 8 months ago
tip
Do you know that we can give you better hits? Get more relevant results from Samebug’s stack trace search.
  1. 0

    GitHub comment 70#243555740

    GitHub | 8 months ago | markro49
    java.lang.NullPointerException
  2. 0

    Need to use Logical Compare feature of Daikon

    Google Groups | 2 years ago | Tanzeem Bin Noor
    java.lang.NullPointerException

    Root Cause Analysis

    1. java.lang.NullPointerException

      No message provided

      at daikon.VarInfo.simplify_name()
    2. daikon
      VarInfo.name_using
      1. daikon.VarInfo.simplify_name(VarInfo.java:3245)
      2. daikon.VarInfo.simplify_name(VarInfo.java:3216)
      3. daikon.VarInfo.name_using(VarInfo.java:2969)
      3 frames
    3. daikon.inv.unary
      OneOfString.format_using
      1. daikon.inv.unary.string.OneOfString.format_simplify(OneOfString.java:409)
      2. daikon.inv.unary.string.OneOfString.format_using(OneOfString.java:230)
      2 frames
    4. daikon.simplify
      InvariantLemma.makeLemmaAddOrig
      1. daikon.simplify.InvariantLemma.<init>(InvariantLemma.java:17)
      2. daikon.simplify.InvariantLemma.makeLemmaAddOrig(InvariantLemma.java:66)
      2 frames
    5. daikon.tools.compare
      LogicalCompare.main
      1. daikon.tools.compare.LogicalCompare.translateAddOrig(LogicalCompare.java:216)
      2. daikon.tools.compare.LogicalCompare.comparePpts(LogicalCompare.java:494)
      3. daikon.tools.compare.LogicalCompare.mainHelper(LogicalCompare.java:803)
      4. daikon.tools.compare.LogicalCompare.main(LogicalCompare.java:578)
      4 frames