Info.java


current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.ui.core.util.Info()

  • Kind Annotation Text

  • com.dmdirc.ui.core.util.Info__static_init

  • Kind Annotation Text

  • String getDMDircVersion()

  • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@45 != null
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)

  • String getJavaVersion()

  • Kind Annotation Text
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)

  • String getOSVersion()

  • Kind Annotation Text
    presumptionjava.util.Locale:getDefault(...)@68 != null
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)