SSLCertificateDialogModel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addCertField(Map, List, String, String, bool)

    • Kind Annotation Text
    prefields != null
    pregroup != null

  • void com.dmdirc.ui.core.dialogs.sslcertificate.SSLCertificateDialogModel(X509Certificate[], List, CertificateManager)

    • Kind Annotation Text
    postinit'ed(this.chain)
    postinit'ed(this.manager)
    postinit'ed(this.problems)
    postthis.chain == chain
    postthis.manager == manager
    postthis.problems == problems

  • com.dmdirc.ui.core.dialogs.sslcertificate.SSLCertificateDialogModel__static_init

    • Kind Annotation Text

  • String getAlternateNames(X509Certificate)

    • Kind Annotation Text
    pre(soft) cert != null
    presumptionjava.security.cert.X509Certificate:getSubjectAltern ativeNames(...)@169 != null
    presumptionjava.util.Iterator:next(...)@169 != null
    presumptionjava.util.List:get(...)@170 != null
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value in Addr_Set{null,&java.lang. StringBuilder:toString(...)}
    test_vectorjava.lang.Integer:intValue(...)@170: {-231..1, 3..6, 8..232-1}, {7}
    test_vectorjava.lang.StringBuilder:length(...)@174: {-231..0}, {1..232-1}
    test_vectorjava.security.cert.X509Certificate:getSubjectAltern ativeNames(...)@165: Inverse{null}, Addr_Set{null}

  • List getCertificateChain()

    • Kind Annotation Text
    pre(soft) this.chain[...] != null
    pre(soft) this.manager != null
    prethis.chain != null
    prethis.chain.length <= 232-1
    presumptioncom.dmdirc.CertificateManager:getDNFieldsFromCert(. ..)@94 != null
    postnew ArrayList(getCertificateChain#1) num objects == 1
    postreturn_value == &amp;new ArrayList(getCertificateCh ain#1)

  • List getCertificateInfo(int)

    • Kind Annotation Text
    pre(soft) this.chain[...] != null
    pre(soft) this.manager != null
    preindex < this.chain.length
    preindex >= 0
    prethis.chain != null
    prethis.chain.length >= 1
    presumptioncom.dmdirc.CertificateManager:getDNFieldsFromCert(. ..)@134 != null
    presumptionjava.security.cert.X509Certificate:getNotAfter(... )@128 != null
    presumptionjava.security.cert.X509Certificate:getNotBefore(... )@126 != null
    presumptionjava.security.cert.X509Certificate:getSerialNumber( ...)@150 != null
    postnew ArrayList(getCertificateInfo#1) num objects == 1
    postreturn_value == &amp;new ArrayList(getCertificateIn fo#1)
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.security.cert.X509Certificate:getSubje ctAlternativeNames
    unanalyzedcall on java.util.Collection:iterator
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

  • String getServerName()

    • Kind Annotation Text
    prethis.manager != null
    postinit'ed(return_value)

  • List getSummary()

    • Kind Annotation Text
    prethis.problems != null
    postnew ArrayList(getSummary#1) num objects == 1
    postreturn_value == &amp;new ArrayList(getSummary#1)
    test_vectorjava.util.Iterator:hasNext(...)@216: {0}, {1}

  • bool needsResponse()

    • Kind Annotation Text
    prethis.problems != null
    postinit'ed(return_value)

  • void performAction(CertificateAction)

    • Kind Annotation Text
    prethis.manager != null
    prethis.problems != null
    presumptionjava.util.List:isEmpty(...)@261 == 0
    unanalyzedcall on java.util.List:isEmpty