| method | void run() |
| pre | this.val$args != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@59 >= 1 |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@60 >= 1 |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@64 >= 1 |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@59 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@60 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@64 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@59 != null |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.net.InetAddress:getByName |
| unanalyzed | call on java.net.InetAddress:getHostName |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.net.InetAddress:getAllByName |
| unanalyzed | call on java.net.InetAddress:getHostAddress |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.lang.Object:toString |
| unanalyzed | call on com.dmdirc.addons.dns.DNSCommand:sendLine |
| test_vector | java.lang.String:matches(...)@59: {0}, {1} |