| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | comment != null | 2009-09-04 18:33:31 |
| + | pre | text != null | 2009-09-04 18:33:31 |
| + | pre | this.commentPlugins != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@129 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getPlugins(...)@130 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuffer:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.BufferedReader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.BufferedReader:readLine | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.StringReader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Matcher:end | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Matcher:find | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Matcher:start | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Pattern:matcher | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. Utilities:escapeHTML | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. Utilities:transformToHTMLSubset | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. Utilities:unescapeHTML | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:indexOf(...)@130: {-1}, {-231..-2, 0..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@129: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@128: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getPlugins(...)@130: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.commentPlugins != null | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/config/WebloggerConfig. log != null | 2009-09-04 18:33:31 |
| + | presumption | java.lang.Class:forName(...)@192 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:stripAll(... )@187 != null | 2009-09-04 18:33:31 |
| + | presumption | plugins.length@187 <= 232-1 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) mPagePlugins != null | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/config/WebloggerConfig. log != null | 2009-09-04 18:33:31 |
| + | presumption | java.lang.Class:forName(...)@159 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.StringUtils:stripAll(... )@154 != null | 2009-09-04 18:33:31 |
| + | presumption | plugins.length@154 <= 232-1 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Class:getInterfaces | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Object:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@152: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@157: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | plugins.length@154: {1..232-1}, {0} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) mPagePlugins != null | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/config/WebloggerConfig. config != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/config/WebloggerConfig. log != null | 2009-09-04 18:33:31 |
| + | post | new ArrayList(PluginManagerImpl#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.commentPlugins == &new ArrayList(PluginMan agerImpl#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Class:forName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Class:getInterfaces | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Class:newInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Object:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:stripAl l | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 2009-09-04 18:33:31 |