Messages

Last Msg First Msg

method

com.dmdirc.CertificateManager$CertificateNotTruste dException__static_init

method

com.dmdirc.CertificateManager$CertificateDoesntMat chHostException__static_init

method

com.dmdirc.CertificateManager__static_init

method	void com.dmdirc.CertificateManager(String, ConfigManager)
pre	config != null
presumption	com.dmdirc.config.ConfigManager:getOption(...)@102 != null
post	this.actionSem == &new Semaphore(CertificateMan ager#2)
post	this.cacertpass != null
post	init'ed(this.checkDate)
post	init'ed(this.checkHost)
post	init'ed(this.checkIssuer)
post	this.config == config
post	this.config != null
post	this.globalTrustedCAs == &new HashSet(Certifica teManager#1)
post	this.serverName == serverName
post	init'ed(this.serverName)
post	new HashSet(CertificateManager#1) num objects == 1
post	new Semaphore(CertificateManager#2) num objects == 1
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.security.KeyStore:getInstance
unanalyzed	call on java.security.KeyStore:load
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.security.KeyStore:getDefaultType
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

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method	void loadTrustedCAs()
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

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into ex

Prev Msg Next Msg

method	KeyManager[] getKeyManager()
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}

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into ex

Prev Msg Next Msg

method

void checkClientTrusted(X509Certificate[], String)

method	bool isTrusted(X509Certificate)
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}

method not available - call not analyzed Info call on String net.miginfocom.Base64:encodeToString (byte[], bool)

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)

method not available - call not analyzed Info call on List com.dmdirc.config.ConfigManager:getOpt ionList(String, String)

method	bool isValidHost(X509Certificate)
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.util.HashMap
unanalyzed	call on java.security.cert.X509Certificate:getSubje ctX500Principal
unanalyzed	call on javax.security.auth.x500.X500Principal:getN ame
unanalyzed	call on javax.naming.ldap.LdapName
unanalyzed	call on javax.naming.ldap.LdapName:getRdns
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.naming.ldap.Rdn:getType
unanalyzed	call on javax.naming.ldap.Rdn:getValue
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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}

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

method not available - call not analyzed Info call on void com.dmdirc.ui.core.dialogs. sslcertificate.SSLCertificateDialogModel(X509Certif icate[], List, CertificateManager)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. UIController:showSSLCertificateDialog(SSLCertificat eDialogModel)

method	com.dmdirc.CertificateManager$1__static_init
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 >= 0
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: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

method not available - call not analyzed Info call on CertificateAction[] com.dmdirc.ui.core. dialogs.sslcertificate.CertificateAction:values()

method not available - call not analyzed Info call on int com.dmdirc.ui.core.dialogs. sslcertificate.CertificateAction:ordinal()

method not available - call not analyzed Info call on int com.dmdirc.ui.core.dialogs. sslcertificate.CertificateAction:ordinal()

method not available - call not analyzed Info call on List com.dmdirc.config.ConfigManager:getOpt ionList(String, String)

method not available - call not analyzed Info call on String net.miginfocom.Base64:encodeToString (byte[], bool)

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, List)

method	void setAction(CertificateAction)
pre	this.actionSem != null
post	this.action == action
post	init'ed(this.action)

method	String getServerName()
post	return_value == this.serverName
post	init'ed(return_value)

method	Map getDNFieldsFromCert(X509Certificate)
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	return_value == &new HashMap(getDNFieldsFromCer t#1)
post	new HashMap(getDNFieldsFromCert#1) num objects == 1

method	X509Certificate[] getAcceptedIssuers()
pre	this.globalTrustedCAs != null
presumption	java.util.Set:size(...)@375 >= 0
post	init'ed(return_value)

method

void com.dmdirc.CertificateManager$CertificateDoes ntMatchHostException(String)

method

void com.dmdirc.CertificateManager$CertificateNotT rustedException(String)

	method not available - call not analyzed	Info	call on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)
	method not available - call not analyzed	Info	call on List com.dmdirc.config.ConfigManager:getOpt ionList(String, String)

method not available - call not analyzed	Info	call on CertificateAction[] com.dmdirc.ui.core. dialogs.sslcertificate.CertificateAction:values()
method not available - call not analyzed	Info	call on int com.dmdirc.ui.core.dialogs. sslcertificate.CertificateAction:ordinal()
method not available - call not analyzed	Info	call on int com.dmdirc.ui.core.dialogs. sslcertificate.CertificateAction:ordinal()

	method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, List)