method org.apache.roller.weblogger.business.plugins. entry.SearchPluginBase__static_init










method void org.apache.roller.weblogger.business.plugins. entry.SearchPluginBase()
postthis.baseVersion == &"2.1"
postinit'ed(this.mLogger)










method void init(Weblog)
prethis.mLogger != null
pre(soft) init'ed(this.baseVersion)
presumptionjava.lang.Object:getClass(...)@58 != null
test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@57: {0}, {1}









  infomethod not available-- call on bool org.apache.commons.logging. Log:isDebugEnabled()










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method String render(WeblogEntry, String)
prestr != null
presumptionjava.lang.String:length(...)@73 <= 4_294_967_167
presumptionjava.util.regex.Matcher:group(...)@77 != null
presumptionjava.util.regex.Pattern:compile(...)@43 != null
presumptionjava.util.regex.Pattern:matcher(...)@72 != null
postjava.lang.StringBuffer:toString(...)._tainted == 0
postreturn_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzedcall on java.net.URLEncoder:encode
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.lang.RuntimeException
test_vectorjava.lang.String:equals(...)@78: {0}, {1}
test_vectorjava.lang.String:length(...)@81: {1.. 232-1}, {0}
test_vectorjava.util.regex.Matcher:find(...)@75: {0}, {1}
test_vectorjava.util.regex.Matcher:group(...)@80: Addr_Set{null}, Inverse{null}










method String encodeSearchText(String)
postinit'ed(return_value)