CertificateManager.java

CertificateManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void checkClientTrusted(X509Certificate[], String)

Kind	Annotation Text

void checkServerTrusted(X509Certificate[], String)

Kind	Annotation Text
pre	(soft) chain.length in {1..2³²-1}
pre	(soft) chain[0] != null
pre	(soft) chain[...] != null
pre	(soft) com.dmdirc.CertificateManager$1__static_ init.new int[](CertificateManager$1__static_init#1) [...] != 1
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(this.checkDate)
pre	(soft) init'ed(this.checkIssuer)
pre	(soft) this.action != null
pre	(soft) this.actionSem != null
pre	(soft) this.config != null
pre	(soft) this.globalTrustedCAs != null
pre	chain != null
pre	init'ed(this.checkHost)
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@319 != null
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction:ordinal(...)@312 < com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction:values(...).length
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction:ordinal(...)@312 >= 0
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction:values(...).length >= 1
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionLi st
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.security.Principal:getName
unanalyzed	call on java.security.cert.CertificateException
unanalyzed	call on java.security.cert.X509Certificate:getIssue rDN
unanalyzed	call on java.security.cert.X509Certificate:getPubli cKey
unanalyzed	call on java.security.cert.X509Certificate:getSigna ture
unanalyzed	call on java.security.cert.X509Certificate:getSubje ctAlternativeNames
unanalyzed	call on java.security.cert.X509Certificate:getSubje ctX500Principal
unanalyzed	call on java.security.cert.X509Certificate:verify
unanalyzed	call on java.util.Arrays:equals
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on javax.naming.ldap.LdapName
unanalyzed	call on javax.naming.ldap.LdapName:getRdns
unanalyzed	call on javax.naming.ldap.Rdn:getType
unanalyzed	call on javax.naming.ldap.Rdn:getValue
unanalyzed	call on javax.security.auth.x500.X500Principal:getN ame
unanalyzed	call on net.miginfocom.Base64:encodeToString
test_vector	com.dmdirc.CertificateManager$1__static_init.new int[](CertificateManager$1__static_init#1)[...]: {2}, {-2³¹..0, 3..2³²-1}
test_vector	java.util.List:isEmpty(...)@302: {1}, {0}
test_vector	this.checkDate: {0}, {1}
test_vector	this.checkHost: {0}, {1}
test_vector	this.checkIssuer: {0}, {1}

com.dmdirc.CertificateManager$1__static_init

Kind	Annotation Text
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction.DISCONNECT != null
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction.IGNORE_PERMANENTY != null
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction.IGNORE_TEMPORARILY != null
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction:ordinal(...)@312 < com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction:values(...).length@312
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction:ordinal(...)@312 >= 0
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction:values(...).length@312 >= 1
presumption	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction:values(...)@312 != null
post	new int[](CertificateManager$1__static_init#1) num objects == 1

void com.dmdirc.CertificateManager$CertificateDoesntMatchHostException(String)

Kind	Annotation Text

com.dmdirc.CertificateManager$CertificateDoesntMatchHostException__static_init

Kind	Annotation Text

void com.dmdirc.CertificateManager$CertificateNotTrustedException(String)

Kind	Annotation Text

com.dmdirc.CertificateManager$CertificateNotTrustedException__static_init

Kind	Annotation Text

void com.dmdirc.CertificateManager(String, ConfigManager)

Kind	Annotation Text
pre	config != null
presumption	com.dmdirc.config.ConfigManager:getOption(...)@102 != null
post	init'ed(this.checkDate)
post	init'ed(this.checkHost)
post	init'ed(this.checkIssuer)
post	init'ed(this.serverName)
post	new HashSet(CertificateManager#1) num objects == 1
post	new Semaphore(CertificateManager#2) num objects == 1
post	this.actionSem == &new Semaphore(CertificateMan ager#2)
post	this.cacertpass != null
post	this.config != null
post	this.config == config
post	this.globalTrustedCAs == &new HashSet(Certifica teManager#1)
post	this.serverName == serverName
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.security.KeyStore:getDefaultType
unanalyzed	call on java.security.KeyStore:getInstance
unanalyzed	call on java.security.KeyStore:load
unanalyzed	call on java.security.cert.PKIXParameters
unanalyzed	call on java.security.cert.PKIXParameters:getTrustA nchors
unanalyzed	call on java.security.cert.TrustAnchor:getTrustedCe rt
unanalyzed	call on java.util.Set:add
unanalyzed	call on java.util.Set:iterator

com.dmdirc.CertificateManager__static_init

Kind	Annotation Text

X509Certificate[] getAcceptedIssuers()

Kind	Annotation Text
pre	this.globalTrustedCAs != null
presumption	java.util.Set:size(...)@375 >= 0
post	init'ed(return_value)

Map getDNFieldsFromCert(X509Certificate)

Kind	Annotation Text
pre	(soft) cert != null
presumption	java.security.cert.X509Certificate:getSubjectX500Pr incipal(...)@361 != null
presumption	java.util.Iterator:next(...)@362 != null
presumption	javax.naming.ldap.LdapName:getRdns(...)@362 != null
presumption	javax.naming.ldap.Rdn:getValue(...)@363 != null
post	new HashMap(getDNFieldsFromCert#1) num objects == 1
post	return_value == &new HashMap(getDNFieldsFromCer t#1)

KeyManager[] getKeyManager()

Kind	Annotation Text
pre	this.config != null
presumption	com.dmdirc.config.ConfigManager:getOption(...)@161 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.security.KeyStore:getInstance(...)@167 != null
presumption	javax.net.ssl.KeyManagerFactory:getInstance(... )@170 != null
post	init'ed(return_value)
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@155: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@160: {0}, {1}

String getServerName()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.serverName

bool isTrusted(X509Certificate)

Kind	Annotation Text
pre	(soft) certificate != null
pre	(soft) this.config != null
pre	(soft) this.globalTrustedCAs != null
presumption	com.dmdirc.config.ConfigManager:getOptionList(... )@218 != null
presumption	java.security.Principal:getName(...)@223 != null
presumption	java.security.cert.X509Certificate:getIssuerDN(... )@223 != null
presumption	java.util.Iterator:next(...)@222 != null
post	init'ed(return_value)
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@218: {0}, {1}
test_vector	java.lang.String:equals(...)@223: {0}, {1}
test_vector	java.util.Arrays:equals(...)@223: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@222: {0}, {1}
test_vector	java.util.List:contains(...)@218: {0}, {1}

bool isValidHost(X509Certificate)

Kind	Annotation Text
pre	(soft) certificate != null
presumption	java.security.cert.X509Certificate:getSubjectAltern ativeNames(...)@246 != null
presumption	java.util.Iterator:next(...)@246 != null
presumption	java.util.List:get(...)@247 != null
presumption	java.util.List:get(...)@250 != null
presumption	java.util.Map:get(...)@240 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.security.cert.X509Certificate:getSubje ctX500Principal
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.naming.ldap.LdapName
unanalyzed	call on javax.naming.ldap.LdapName:getRdns
unanalyzed	call on javax.naming.ldap.Rdn:getType
unanalyzed	call on javax.naming.ldap.Rdn:getValue
unanalyzed	call on javax.security.auth.x500.X500Principal:getN ame
test_vector	java.lang.Integer:intValue(...)@247: {-2³¹..1, 3..6, 8..2³²-1}, {7}
test_vector	java.lang.Object:equals(...)@250: {0}, {1}
test_vector	java.lang.String:equals(...)@240: {0}, {1}
test_vector	java.security.cert.X509Certificate:getSubjectAltern ativeNames(...)@245: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@246: {0}, {1}
test_vector	java.util.Map:containsKey(...)@240: {0}, {1}

void loadTrustedCAs()

Kind	Annotation Text
pre	(soft) this.cacertpass != null
pre	(soft) this.globalTrustedCAs != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	init'ed(java.io.File.separatorChar)
presumption	java.security.KeyStore:getInstance(...)@120 != null
presumption	java.security.cert.PKIXParameters:getTrustAnchors(. ..)@124 != null
presumption	java.util.Iterator:next(...)@124 != null

void setAction(CertificateAction)

Kind	Annotation Text
pre	this.actionSem != null
post	init'ed(this.action)
post	this.action == action