Messages

Last Msg First Msg

method

com.dmdirc.parser.irc.callbacks.CallbackObject__ static_init

method	void com.dmdirc.parser.irc.callbacks. CallbackObject(IRCParser, CallbackManager, Class)
post	this.callbackInfo == &new ArrayList(CallbackObj ect#1)
post	this.myManager == manager
post	init'ed(this.myManager)
post	this.myParser == parser
post	init'ed(this.myParser)
post	this.type == type
post	init'ed(this.type)
post	new ArrayList(CallbackObject#1) num objects == 1

method	void addCallback(ICallbackInterface)
pre	this.callbackInfo != null
test_vector	java.util.List:contains(...)@78: {1}, {0}

method	void delCallback(ICallbackInterface)
pre	this.callbackInfo != null

method	bool callErrorInfo(ParserError)
pre	this.myManager != null
pre	this.myManager.callbackHash != null
presumption	getCallbackType(...)@99 init'ed
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

method	void add(ICallbackInterface)
pre	this.callbackInfo != null
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add

method	void del(ICallbackInterface)
pre	this.callbackInfo != null
unanalyzed	call on java.util.List:remove

method	String getName()
pre	this.type != null
presumption	java.lang.Class:getSimpleName(...)@122 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method	String getLowerName()
pre	this.type != null
post	return_value != null
unanalyzed	call on java.lang.Class:getSimpleName
unanalyzed	call on java.lang.String:substring

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.StringBuilder:toStr ing(...)._tainted) in getName

Prev Msg Next Msg

method	bool call(Object[])
pre	args != null
pre	this.myParser != null
pre	init'ed(this.myParser.createFake)
pre	(soft) init'ed(args[...])
pre	(soft) this.myManager != null
pre	(soft) this.myManager.callbackHash != null
pre	(soft) init'ed(this.myParser.lastLine)
pre	(soft) this.type != null
presumption	java.lang.Class:getMethods(...).length@152 >= 1
presumption	java.lang.Class:getMethods(...)@152 != null
presumption	java.lang.Class:getMethods(...)[0]@152 != null
presumption	java.util.ArrayList:iterator(...)@150 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.Class:getMethods
unanalyzed	call on java.lang.reflect.Method:getParameterAnnota tions
unanalyzed	call on java.lang.annotation.Annotation:annotationT ype
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.reflect.Method:getParameterTypes
unanalyzed	call on getFakeArg
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Class:getConstructors
unanalyzed	call on java.lang.reflect.Constructor:getParameterT ypes
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.reflect.Constructor:newInstance
unanalyzed	call on java.lang.reflect.Method:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.reflect.Method:invoke
unanalyzed	call on getCreateFake
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on getLastLine
unanalyzed	call on callErrorInfo
unanalyzed	call on getCallbackType
unanalyzed	call on call
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
test_vector	this.myParser.createFake: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@150: {0}, {1}

method	void createFakeArgs(Object[])
pre	this.type != null
pre	(soft) args != null
pre	(soft) args.length >= 1
pre	(soft) init'ed(args[...])
presumption	arr$.length@175 <= args.length
presumption	arr$.length@175 <= 2³²-1
presumption	arr$.length@175 in {1..2³²-1}
presumption	arr$.length@175 >= 1
presumption	arr$[i$]@175 != null
presumption	java.lang.Class:getMethods(...).length@175 >= 1
presumption	java.lang.Class:getMethods(...).length@179 >= 1
presumption	java.lang.Class:getMethods(...)@175 != null
presumption	java.lang.Class:getMethods(...)@179 != null
presumption	java.lang.Class:getMethods(...)[0]@175 != null
presumption	java.lang.Class:getMethods(...)[0]@179 != null
presumption	java.lang.annotation.Annotation:annotationType(... )@177 != null
presumption	java.lang.reflect.Method:getParameterAnnotations(.. .)@175 != null
presumption	java.lang.reflect.Method:getParameterTypes(...). length@179 >= 1
presumption	arr$.length@175 <= java.lang.reflect. Method:getParameterTypes(...).length@179
presumption	java.lang.reflect.Method:getParameterTypes(... )@179 != null
presumption	java.lang.reflect.Method:getParameterTypes(... )[i]@179 != null
post	init'ed(args[...])
unanalyzed	call on java.lang.Class:getMethods
unanalyzed	call on java.lang.reflect.Method:getParameterAnnota tions
unanalyzed	call on java.lang.annotation.Annotation:annotationT ype
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.reflect.Method:getParameterTypes
unanalyzed	call on getFakeArg
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Class:getConstructors
unanalyzed	call on java.lang.reflect.Constructor:getParameterT ypes
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.reflect.Constructor:newInstance
unanalyzed	call on java.lang.reflect.Method:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.reflect.Method:invoke
test_vector	java.lang.Object:equals(...)@177: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that arr$ != null

array index out of bounds

Medium Prob.

check that i$ < arr$.length

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that ann != null

Prev Msg Next Msg

method	Object getFakeArg(Object[], Class)
pre	target != null
pre	this.type != null
pre	(soft) args != null
pre	(soft) args.length >= 1
pre	(soft) init'ed(args[...])
presumption	arr$.length@207 in {1..2³²-1}
presumption	arr$.length@207 <= 2³²-1
presumption	arr$.length@207 <= args.length
presumption	arr$.length@207 - arr$.length@207 in {0..2³²-1}
presumption	arr$.length@217 <= 2³²-1
presumption	arr$.length@224 <= 2³²-1
presumption	arr$.length@224 <= java.lang.reflect. Constructor:getParameterTypes(...).length@218
presumption	arr$.length@240 <= 2³²-1
presumption	arr$[i$]@207 != null
presumption	arr$[i$]@217 != null
presumption	arr$[i$]@224 != null
presumption	arr$[i$]@240 != null
presumption	init'ed(java.lang.Boolean.TYPE)
presumption	java.lang.Class:getConstructors(...)@217 != null
presumption	java.lang.Class:getMethods(...).length@207 >= 1
presumption	java.lang.Class:getMethods(...).length@210 >= 1
presumption	java.lang.Class:getMethods(...)@207 != null
presumption	java.lang.Class:getMethods(...)@210 != null
presumption	java.lang.Class:getMethods(...)@240 != null
presumption	java.lang.Class:getMethods(...)[0]@207 != null
presumption	java.lang.Class:getMethods(...)[0]@210 != null
presumption	java.lang.annotation.Annotation:annotationType(... )@209 != null
presumption	java.lang.reflect.Constructor:getParameterTypes(... ).length@218 >= 1
presumption	java.lang.reflect.Constructor:getParameterTypes(... )@218 != null
presumption	java.lang.reflect.Constructor:getParameterTypes(... )@224 != null
presumption	java.lang.reflect.Method:getName(...)@241 != null
presumption	java.lang.reflect.Method:getParameterAnnotations(.. .)@207 != null
presumption	java.lang.reflect.Method:getParameterTypes(...). length@210 >= 1
presumption	arr$.length@207 <= java.lang.reflect. Method:getParameterTypes(...).length@210
presumption	java.lang.reflect.Method:getParameterTypes(...). length@241 >= 1
presumption	java.lang.reflect.Method:getParameterTypes(... )@210 != null
presumption	java.lang.reflect.Method:getParameterTypes(... )@241 != null
presumption	java.lang.reflect.Method:getParameterTypes(... )[0]@241 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.Class:getMethods
unanalyzed	call on java.lang.reflect.Method:getParameterAnnota tions
unanalyzed	call on java.lang.annotation.Annotation:annotationT ype
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.reflect.Method:getParameterTypes
unanalyzed	call on getFakeArg
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Class:getConstructors
unanalyzed	call on java.lang.reflect.Constructor:getParameterT ypes
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.reflect.Constructor:newInstance
unanalyzed	call on java.lang.reflect.Method:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.reflect.Method:invoke
test_vector	java.lang.Object:equals(...)@209: {0}, {1}
test_vector	java.lang.Object:equals(...)@241: {0}, {1}
test_vector	java.lang.String:equals(...)@241: {0}, {1}
test_vector	java.lang.reflect.Method:getParameterTypes(...). length@241: {0, 2..+Inf}, {1}
test_vector	java.util.Map:containsKey(...)@225: {0}, {1}