Last Msg First Msg
























method com.dmdirc.updater.Version__static_init










method int compareTo(Object)
prex0 != null
pre(soft) this.intVersion - x0.intVersion in {-6_442_450_943, -231..232-1, 6_442_450_943}
postinit'ed(return_value)
unanalyzedcall on java.lang.String:matches
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.lang.Math:max
unanalyzedcall on java.lang.String:equals










method void com.dmdirc.updater.Version(int)
postthis.intVersion == version
postinit'ed(this.intVersion)
postthis.strVersion == null










method void com.dmdirc.updater.Version(String)
preversion != null
postinit'ed(this.intVersion)
postthis.strVersion == One-of{null, version}
postinit'ed(this.strVersion)
test_vectorjava.lang.String:matches(...)@43: {0}, {1}
test_vectorjava.lang.String:matches(...)@46: {0}, {1}










method int compareTo(Version)
preo != null
pre(soft) this.intVersion - o.intVersion in {-6_442_450_943, -231..232-1, 6_442_450_943}
postinit'ed(return_value)
test_vectoro.intVersion: {-231}, {-231+1..0, 232-1}
test_vectoro.strVersion: Inverse{null}, Addr_Set{null}
test_vectorthis.intVersion: {-231}, {-231+1. .232-1}
test_vectorthis.intVersion - o.intVersion: {0..232-1}, {-6_442_450_943, -231..-1}
test_vectorthis.strVersion: Inverse{null}, Addr_Set{null}









Prev Msg Next Msg
  null dereference
Medium Prob.
check that this.strVersion != null
Prev Msg Next Msg










Prev Msg Next Msg
  null dereference
Medium Prob.
check that o.strVersion != null
Prev Msg Next Msg










Prev Msg Next Msg
  null dereference
Medium Prob.
check that not_init'ed(myParts[0])
  use of default init
Low Prob.
check if init'ed(myParts.length)
Prev Msg Next Msg










Prev Msg Next Msg
  null dereference
Medium Prob.
check that not_init'ed(thParts[0])
  use of default init
Low Prob.
check if init'ed(thParts.length)
Prev Msg Next Msg










Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(myFirstParts.length)
  use of default init
Low Prob.
check if init'ed(thFirstParts.length)
Prev Msg Next Msg










Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(myFirstParts.length)
Prev Msg Next Msg










Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(thFirstParts.length)
Prev Msg Next Msg










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because myExists == 0
  dead code
Low Prob.
Dead code here because myExists == 0
Prev Msg Next Msg










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because thExists == 0
  dead code
Low Prob.
Dead code here because thExists == 0
Prev Msg Next Msg










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because myIsInt == 0
  dead code
Low Prob.
Dead code here because myIsInt == 0
Prev Msg Next Msg










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because thIsInt == 0
  dead code
Low Prob.
Dead code here because thIsInt == 0
Prev Msg Next Msg










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because myExists == 0
  dead code
Low Prob.
Dead code here because myExists == 0
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
Prev Msg Next Msg










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(myParts.length)
  test always goes same way
Low Prob.
Test predetermined because myParts.length == 0
  dead code
Low Prob.
Dead code here because myParts.length == 0
Prev Msg Next Msg










Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(thParts.length)
  test always goes same way
Low Prob.
Test predetermined because thParts.length == 0
  dead code
Low Prob.
Dead code here because thParts.length == 0
Prev Msg Next Msg











method bool isValid()
postinit'ed(return_value)










method String toString()
postjava.lang.String:valueOf(...)._tainted == 0
postreturn_value == One-of{&java.lang. String:valueOf(...), this.strVersion}
postreturn_value != null