Messages

Last Msg First Msg

method

com.dmdirc.parser.irc.ProcessingManager__static_ init

method	void doDebug(String, Object[])
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
unanalyzed	call on call
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.Map:get
unanalyzed	call on callDebugInfo
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Integer:valueOf

method	void com.dmdirc.parser.irc.ProcessingManager(IRCPa rser)
pre	parser != null
pre	parser.myCallbackManager != null
pre	parser.myCallbackManager.callbackHash != null
post	this.myParser == parser
post	this.myParser != null
post	this.processHash == &new Hashtable(ProcessingMa nager#1)
post	new Hashtable(ProcessingManager#1) num objects == 1
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on call
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:substring
unanalyzed	call on doDebug
unanalyzed	call on java.util.Hashtable:remove
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on handles
unanalyzed	call on callDebugInfo
unanalyzed	call on com.dmdirc.parser.irc.IRCProcessor
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Integer:valueOf

method	void addProcessor(IRCProcessor)
pre	processor != null
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
pre	(soft) this.processHash != null
presumption	handles(...).length@125 <= 2³²-1
presumption	handles(...)@125 != null
presumption	handles(...)[...]@125 != null
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on call
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:substring
unanalyzed	call on doDebug
unanalyzed	call on java.util.Hashtable:remove
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on callDebugInfo
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Integer:valueOf

call too complex - analysis skipped Info call on String[] handles()

method	void addProcessor(String[], IRCProcessor)
pre	handles != null
pre	handles.length <= 2³²-1
pre	processor != null
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
pre	(soft) handles[...] != null
pre	(soft) this.processHash != null
unanalyzed	call on call
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:substring
unanalyzed	call on callDebugInfo
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Integer:valueOf
test_vector	java.util.Hashtable:containsKey(...)@138: {0}, {1}

method	void delProcessor(IRCProcessor)
pre	processor != null
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
pre	this.processHash != null
presumption	java.util.Hashtable:get(...)@157 != null
unanalyzed	call on call
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:substring
unanalyzed	call on callDebugInfo
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Integer:valueOf
test_vector	java.lang.String:equalsIgnoreCase(...)@158: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@155: {0}, {1}

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 getName

Prev Msg Next Msg

method	IRCProcessor getProcessor(String)
pre	sParam != null
pre	this.processHash != null
presumption	java.util.Hashtable:containsKey(...)@173 == 1
post	init'ed(return_value)
unanalyzed	call on java.lang.Exception

method	void process(String, String[])
pre	(soft) sParam != null
pre	(soft) this.myParser != null
pre	(soft) init'ed(this.myParser.lastLine)
pre	(soft) this.myParser.myCallbackManager != null
pre	(soft) this.myParser.myCallbackManager. callbackHash != null
pre	(soft) this.processHash != null
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on java.util.Hashtable:get
unanalyzed	call on java.lang.Exception
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on call
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.Map:get

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that messageProcessor != null

call too complex - analysis skipped Info call on void process(String, String[])

Prev Msg Next Msg

method	bool callNumeric(int, String[])
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.Map:get

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getCallbackType(...) != null

call too complex - analysis skipped Info call on bool call(Object[])

Prev Msg Next Msg