Last Msg First Msg
























method com.dmdirc.commandparser.commands.Command__static_ init










method void com.dmdirc.commandparser.commands.Command()










method void sendLine(InputWindow, bool, String, Object[])
test_vectorisSilent: {1}, {0}
test_vectortarget: Addr_Set{null}, Inverse{null}









  method not available - call not analyzedInfocall on void com.dmdirc.ui.interfaces. InputWindow:addLine(String, Object[])











method void showUsage(InputWindow, bool, String, String)
preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e










method String doTable(String[], String[][])
predata != null
predata.length <= 232-1
preheaders != null
pre(soft) data[...] != null
pre(soft) data[...].length in {1..232-1}
pre(soft) data[...].length - headers.length in {0..232-2}
pre(soft) data[...][...] != null
pre(soft) headers.length in {1..232-1}
pre(soft) headers[...] != null
presumptionjava.lang.String:length(...)@87 <= 232-4
presumptionjava.lang.String:length(...)@90 <= 232-4
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)
unanalyzedcall on java.lang.String:length









Prev Msg Next Msg
  array index out of bounds
Medium Prob.
check that i < data[j].length
Prev Msg Next Msg










Prev Msg Next Msg
  array index out of bounds
Medium Prob.
check that i < maxsizes.length
  use of default init
Low Prob.
check if init'ed(maxsizes[i])
Prev Msg Next Msg











method void doPadding(StringBuilder, String, int)
prebuilder != null
predata != null
postbuilder._tainted == old builder._tainted | data._tainted
postinit'ed(builder._tainted)