Last Msg First Msg
























method com.dmdirc.IgnoreList__static_init










method void com.dmdirc.IgnoreList()









  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.RegexStringList( )











method void com.dmdirc.IgnoreList(List)









  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.RegexStringList( List)











method void addSimple(String)
prepattern != null
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:toCharArray









  method not available - call not analyzedInfocall on void com.dmdirc.IgnoreList:add(String)











method bool canConvert()
pre(soft) this.ignoreInfo != null
postinit'ed(return_value)
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:toCharArray
unanalyzedcall on java.lang.UnsupportedOperationException
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.util.List:add










method List getRegexList()
preinit'ed(this.ignoreInfo)
postreturn_value == &new ArrayList(getRegexList#1)
postnew ArrayList(getRegexList#1) num objects == 1










method List getSimpleList()
prethis.ignoreInfo != null
presumptionjava.util.Iterator:next(...)@95 != null
postreturn_value == &new ArrayList(getSimpleList#1)
postnew ArrayList(getSimpleList#1) num objects == 1
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:toCharArray
unanalyzedcall on java.lang.UnsupportedOperationException
test_vectorjava.util.Iterator:hasNext(...)@95: {0}, {1}










method String regexToSimple(String)
preregex != null
presumptionarr$.length@115 <= 232-1
presumptionarr$[i$]@115 not in {36, 40,41, 43, 63, 91, 93,94, 123..125}
presumptionarr$[i$]@115 not in {36, 40..43, 46, 63, 91..94, 123..125}
postjava.lang.StringBuilder:toString(...)._tainted == 0
postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)
test_vectorarr$[i$]@115: {92}, {42}, {46}, {0..35, 37..39, 44,45, 47..62, 64..90, 95..122, 126..216-1}









Prev Msg Next Msg
  conditional throw
Low Prob.
check that escaped == 0
Prev Msg Next Msg











method String simpleToRegex(String)
preregex != null
presumptionarr$.length@170 <= 232-1
postjava.lang.StringBuilder:toString(...)._tainted == 0
postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)
test_vectorarr$[i$]@170: {36, 40,41, 43, 46, 91..94, 123..125}, {42}, {63}, {0..35, 37..39, 44,45, 47..62, 64..90, 95..122, 126..216-1}