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










method void com.dmdirc.ui.core.dialogs.sslcertificate. SSLCertificateDialogModel(X509Certificate[], List, CertificateManager)
postthis.chain == chain
postinit'ed(this.chain)
postthis.manager == manager
postinit'ed(this.manager)
postthis.problems == problems
postinit'ed(this.problems)










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









  method not available - call not analyzedInfocall on bool com.dmdirc.CertificateManager:isValidH ost(X509Certificate)










  method not available - call not analyzedInfocall on Map com.dmdirc.CertificateManager:getDNFiel dsFromCert(X509Certificate)
  method not available - call not analyzedInfocall on bool com.dmdirc.CertificateManager:isTruste d(X509Certificate)











method List getCertificateInfo(int)
preindex >= 0
prethis.chain != null
prethis.chain.length >= 1
preindex < this.chain.length
pre(soft) this.chain[...] != null
pre(soft) this.manager != null
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
postreturn_value == &amp;new ArrayList(getCertificateIn fo#1)
postnew ArrayList(getCertificateInfo#1) num objects == 1
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.Map:get
unanalyzedcall on java.util.List:add
unanalyzedcall on java.security.cert.X509Certificate:getSubje ctAlternativeNames
unanalyzedcall on java.util.Collection:iterator
unanalyzedcall on java.util.List:get
unanalyzedcall on java.lang.Integer:intValue
unanalyzedcall on java.util.Map:containsKey









  method not available - call not analyzedInfocall on bool com.dmdirc.CertificateManager:isValidH ost(X509Certificate)










  method not available - call not analyzedInfocall on Map com.dmdirc.CertificateManager:getDNFiel dsFromCert(X509Certificate)











method String getAlternateNames(X509Certificate)
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,&amp;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}










method void addCertField(Map, List, String, String, bool)
prefields != null
pregroup != null










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










method bool needsResponse()
prethis.problems != null
postinit'ed(return_value)










method String getServerName()
prethis.manager != null
postinit'ed(return_value)









  method not available - call not analyzedInfocall on String com.dmdirc.CertificateManager:getSer verName()











method void performAction(CertificateAction)
prethis.manager != null
prethis.problems != null
presumptionjava.util.List:isEmpty(...)@261 == 0
unanalyzedcall on java.util.List:isEmpty









  method not available - call not analyzedInfocall on void com.dmdirc.CertificateManager:setActio n(CertificateAction)