Messages

Last Msg First Msg

method

com.dmdirc.ui.messages.Styliser$1__static_init

method	bool access$002(bool)
post	return_value == x0
post	init'ed(return_value)
post	styleLinks == return_value

method	com.dmdirc.ui.messages.Styliser__static_init
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@127 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@131 != null
post	INTERNAL_CHARS == &java.lang.StringBuilder:toSt ring(...)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(styleLinks)

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

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

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

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)

method

void com.dmdirc.ui.messages.Styliser$1()

method	void configChanged(String, String)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@135 != null
post	init'ed(com/dmdirc/ui/messages/Styliser. styleLinks)

method

void com.dmdirc.ui.messages.Styliser()

method	void addStyledString(StyledDocument, String[])
pre	strings != null
pre	strings.length <= 2³²-1
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	(soft) strings[...] != null
pre	(soft) init'ed(styleLinks)
pre	(soft) styledDoc != null
presumption	chars.length@153 <= 2³²-1
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ STRING_STYLED)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	javax.swing.text.StyledDocument:getLength(...)@187 - javax.swing.text.StyledDocument:getLength(... )@162 in {-2³¹..2³²-1}
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on javax.swing.text.SimpleAttributeSet:contain sAttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.lang.String:toUpperCase
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	StyledDocument getStyledString(String[])
pre	strings != null
pre	strings.length <= 2³²-1
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	(soft) strings[...] != null
pre	(soft) init'ed(styleLinks)
post	return_value == &new DefaultStyledDocument(getS tyledString#1)
post	new DefaultStyledDocument(getStyledString#1) num objects == 1
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on javax.swing.text.SimpleAttributeSet:contain sAttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.lang.String:toUpperCase
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on javax.swing.text.StyledDocument:getLength
unanalyzed	call on java.lang.String
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.StyledDocument:insertStrin g
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on javax.swing.text.BadLocationException:getMe ssage

method	String doLinks(String)
pre	string != null
post	return_value != null
test_vector	java.lang.String:equals(...)@226: {1}, {0}
test_vector	java.lang.String:matches(...)@222: {0}, {1}

method	String doSmilies(String)
pre	string != null
post	return_value != null

method	String stipControlCodes(String)
pre	input != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	(soft) init'ed(styleLinks)
post	init'ed(java.lang.String:concat(...)._tainted)
post	return_value in Addr_Set{&"",&java.lang. String:concat(...)}
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on javax.swing.text.SimpleAttributeSet:contain sAttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.lang.String:toUpperCase
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf

method	String readUntilControl(String)
pre	input != null
post	java.lang.String:substring(...)._tainted == input._tainted
post	init'ed(java.lang.String:substring(...)._tainted)
post	return_value == &java.lang.String:substring(... )

method	int checkChar(int, int)
post	return_value == One-of{i, pos}
post	init'ed(return_value)
test_vector	i: {-1}, {-2³¹..-2, 0..2³²-2}
test_vector	pos - i: {-6_442_450_943..0}, {1..2³²}

method	int readControlChars(String, SimpleAttributeSet, bool)
pre	attribs != null
pre	string != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	(soft) init'ed(styleLinks)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Bold)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.FontFamily)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Italic)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Underline)
post	return_value in {0..7, 14}
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on javax.swing.text.SimpleAttributeSet:contain sAttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.lang.String:toUpperCase
unanalyzed	call on java.lang.String:charAt
test_vector	isStart: {0}, {1}
test_vector	java.lang.String:charAt(...)@329: {0,1, 3..2¹⁶-1}, {2}
test_vector	java.lang.String:charAt(...)@338: {0..30, 32..2¹⁶-1}, {31}
test_vector	java.lang.String:charAt(...)@347: {0..28, 30..2¹⁶-1}, {29}
test_vector	java.lang.String:charAt(...)@356: {0..4, 6..2¹⁶-1}, {5}
test_vector	java.lang.String:charAt(...)@371: {0..5, 7..2¹⁶-1}, {6}
test_vector	java.lang.String:charAt(...)@383: {0..15, 17..2¹⁶-1}, {16}
test_vector	java.lang.String:charAt(...)@395: {0..16, 18..2¹⁶-1}, {17}
test_vector	java.lang.String:charAt(...)@409: {0..14, 16..2¹⁶-1}, {15}
test_vector	java.lang.String:charAt(...)@418: {0..2, 4..2¹⁶-1}, {3}
test_vector	java.lang.String:charAt(...)@421: {0..47, 58..2¹⁶-1}, {48..57}
test_vector	java.lang.String:charAt(...)@424: {0..47, 58..2¹⁶-1}, {48..57}
test_vector	java.lang.String:charAt(...)@438: {0..43, 45..2¹⁶-1}, {44}
test_vector	java.lang.String:charAt(...)@438: {0..47, 58..2¹⁶-1}, {48..57}
test_vector	java.lang.String:charAt(...)@443: {0..47, 58..2¹⁶-1}, {48..57}
test_vector	java.lang.String:charAt(...)@463: {0..3, 5..2¹⁶-1}, {4}
test_vector	java.lang.String:charAt(...)@476: {0..43, 45..2¹⁶-1}, {44}
test_vector	java.lang.String:charAt(...)@496: {0..17, 19..2¹⁶-1}, {18}
test_vector	java.lang.String:charAt(...)@502: {0..6, 8..2¹⁶-1}, {7}
test_vector	java.lang.String:length(...)@421: {0,1}, {2..2³²-1}
test_vector	java.lang.String:length(...)@424: {0..2}, {3..2³²-1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@326: {1}, {0}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@397: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@361: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@372: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@384: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@503: Inverse{null}, Addr_Set{null}

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.String:substring(.. .)._tainted) in readUntilControl

Prev Msg Next Msg

method	bool isInt(char)
post	init'ed(return_value)

method	bool isHex(char)
post	init'ed(return_value)

method	bool hasHexString(String, int)
pre	input != null
post	init'ed(return_value)

method	void toggleLink(SimpleAttributeSet)
pre	init'ed(styleLinks)
pre	(soft) attribs != null
presumption	init'ed(java.awt.Color.BLUE)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Foreground)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Underline)
test_vector	styleLinks: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@565: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@583: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@562: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@571: Addr_Set{null}, Inverse{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@590: Addr_Set{null}, Inverse{null}

method	void toggleAttribute(SimpleAttributeSet, Object)
pre	attribs != null
presumption	init'ed(java.lang.Boolean.TRUE)
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@607: {0}, {1}

method	void resetAttributes(SimpleAttributeSet)
pre	attribs != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Bold)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.FontFamily)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Italic)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Underline)
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@619: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@622: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@625: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@628: {0}, {1}

method	void resetColour(SimpleAttributeSet)
pre	attribs != null
presumption	init'ed(javax.swing.text.StyleConstants. Background)
presumption	init'ed(javax.swing.text.StyleConstants. Foreground)
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@641: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@644: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@648: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@651: {0}, {1}

method	void setForeground(SimpleAttributeSet, String)
pre	attribs != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
presumption	init'ed(javax.swing.text.StyleConstants. Foreground)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Integer:parseInt
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@665: {0}, {1}

method	void setBackground(SimpleAttributeSet, String)
pre	attribs != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
presumption	init'ed(javax.swing.text.StyleConstants. Background)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Integer:parseInt
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@679: {0}, {1}

method	void setDefaultForeground(SimpleAttributeSet, String)
pre	attribs != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Integer:parseInt

method	void setDefaultBackground(SimpleAttributeSet, String)
pre	attribs != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Integer:parseInt

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