| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | c != null | 2009-09-04 18:33:31 |
| + | pre | c.entries != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | presumption | defs.length@196 >= 1 | 2009-09-04 18:33:31 |
| + | presumption | getEntries(...).length@169 <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | getEntries(...).length@169 <= getEntries(...). length@170 | 2009-09-04 18:33:31 |
| + | presumption | getEntries(...).length@170 >= 1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:toArray(...).length@208 <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:toArray(...)@208 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:toArray(...)@72 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@165 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.Utilities:stringTo StringArray(...)@196 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| + | test_vector | getEntries(...).length@169: {1..232-1}, {0} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | init'ed(this.uri.entryId) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | pre | this.uri != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@265 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.util.Collections.EMPTY_LIST) | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:toArray(...).length@107 <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:toArray(...)@107 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@103 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPermissions | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| + | unanalyzed | call on toWeblogEntry | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business. UserManager:getUsers(...)@103: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | init'ed(this.uri.entryId) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | pre | this.uri != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | d != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 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.entries) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(getEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(getEntrySet #1) | 2009-09-04 18:33:31 |
| + | post | return_value.href == &java.lang. StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:longValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Document:getRootElement | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChild | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildren | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/webservices/admi nprotocol/Handler$URI.PATHINFO_PATTERN != null | 2009-09-04 18:33:31 |
| + | pre | request != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.String:substring(...)._tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new Handler$URI(Handler#1).entryId) | 2009-09-04 18:33:31 |
| + | post | init'ed(new Handler$URI(Handler#1).type) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.roller) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | new Handler$URI(Handler#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.request != null | 2009-09-04 18:33:31 |
| + | post | this.request == request | 2009-09-04 18:33:31 |
| + | post | this.uri == &new Handler$URI(Handler#1) | 2009-09-04 18:33:31 |
| + | post | this.urlPrefix == &java.lang.StringBuilder:toSt ring(...) | 2009-09-04 18:33:31 |
| + | post | this.userName == One-of{null, &java.lang. String:substring(...)} | 2009-09-04 18:33:31 |
| + | post | this.userName in Addr_Set{null,&java.lang. String:substring(...)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on authenticate | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUserData | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:booleanValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equalsIgnoreCase | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:getBytes | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:indexOf | 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.StringTokenizer | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.StringTokenizer:hasMoreTokens | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.StringTokenizer:nextToken | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Matcher:group | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Matcher:matches | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Pattern:matcher | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletRequest:getHe ader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa thInfo | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.codec.binary. Base64:decodeBase64 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:hasRole | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | presumption | c.entries@125 != null | 2009-09-04 18:33:31 |
| + | presumption | c.entries@126 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:size(...)@82 != 0 | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new MemberEntrySet(getEntrySet#1*). entries) | 2009-09-04 18:33:31 |
| + | post | init'ed(new MemberEntrySet(getEntrySet#1*).href) | 2009-09-04 18:33:31 |
| + | post | init'ed(new UserEntrySet(getEntrySet#1*).entries) | 2009-09-04 18:33:31 |
| + | post | init'ed(new UserEntrySet(getEntrySet#1*).href) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(getEntrySet#1*). entries) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(getEntrySet#1*).href) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | new MemberEntrySet(getEntrySet#1*) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new MemberEntrySet(getEntrySet#1*)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | new UserEntrySet(getEntrySet#1*) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new UserEntrySet(getEntrySet#1*)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(getEntrySet#1*) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(getEntrySet#1*)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getEntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getRoller | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:longValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getID | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 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.roller.weblogger.business. UserManager:addWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:flush | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos.Weblog | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setEditorPage | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. Utilities:stringToStringArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Document:getRootElement | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChild | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildren | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder:build | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| + | unanalyzed | call on toWeblogEntrySet | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.uri.type != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | pre | this.uri != null | 2009-09-04 18:33:31 |
| + | pre | this.uri.entryId != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getRoller | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUri | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWebsiteData | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:removeWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:flush | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| + | unanalyzed | call on toWeblogEntrySet | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | (soft) this.roller != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.uri.type != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.uri.entryId) | 2009-09-04 18:33:31 |
| + | pre | this.uri != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&new WeblogEntrySet(to WeblogEntrySet#1),&new WeblogEntrySet(toWeblogE ntrySet#1)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getRoller | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUri | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWebsiteData | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUsers | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPermissions | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| + | unanalyzed | call on toWeblogEntry | 2009-09-04 18:33:31 |
| + | test_vector | !(this.uri.entryId == null) | (this.uri.type == null & this.uri.entryId == null): {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | !(this.uri.type == null) & this.uri.entryId == null: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.uri.entryId: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | presumption | c.entries@135 != null | 2009-09-04 18:33:31 |
| + | presumption | c.entries@136 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:size(...)@82 != 0 | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new MemberEntrySet(getEntrySet#1*). entries) | 2009-09-04 18:33:31 |
| + | post | init'ed(new MemberEntrySet(getEntrySet#1*).href) | 2009-09-04 18:33:31 |
| + | post | init'ed(new UserEntrySet(getEntrySet#1*).entries) | 2009-09-04 18:33:31 |
| + | post | init'ed(new UserEntrySet(getEntrySet#1*).href) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(getEntrySet#1*). entries) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(getEntrySet#1*).href) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted | 2009-09-04 18:33:31 |
| + | post | new MemberEntrySet(getEntrySet#1*) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new UserEntrySet(getEntrySet#1*) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(getEntrySet#1*) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getEntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getRoller | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWebsiteData | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:longValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getID | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:saveWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:flush | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Document:getRootElement | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChild | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildren | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder:build | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| + | unanalyzed | call on toWeblogEntrySet | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | init'ed(this.uri.entryId) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | pre | this.uri != null | 2009-09-04 18:33:31 |
| + | presumption | c.entries@145 != null | 2009-09-04 18:33:31 |
| + | presumption | c.entries@146 != null | 2009-09-04 18:33:31 |
| + | presumption | c.entries@149 != null | 2009-09-04 18:33:31 |
| + | presumption | c.entries@153 != null | 2009-09-04 18:33:31 |
| + | presumption | getEntries(...).length@149 <= 1 | 2009-09-04 18:33:31 |
| + | presumption | getEntries(...).length@153 >= 1 | 2009-09-04 18:33:31 |
| + | presumption | java.lang.String:equals(...)@154 == 1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:size(...)@82 != 0 | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:toArray(...)@72 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new MemberEntrySet(getEntrySet#1*). entries) | 2009-09-04 18:33:31 |
| + | post | init'ed(new MemberEntrySet(getEntrySet#1*).href) | 2009-09-04 18:33:31 |
| + | post | init'ed(new UserEntrySet(getEntrySet#1*).entries) | 2009-09-04 18:33:31 |
| + | post | init'ed(new UserEntrySet(getEntrySet#1*).href) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(getEntrySet#1*). entries) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(getEntrySet#1*).href) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted | 2009-09-04 18:33:31 |
| + | post | new MemberEntrySet(getEntrySet#1*) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new UserEntrySet(getEntrySet#1*) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(getEntrySet#1*) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getEntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getRoller | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getWebsiteData | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:longValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:size | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getID | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:saveWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:flush | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Document:getRootElement | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChild | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getChildren | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.Element:getText | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.jdom.input.SAXBuilder:build | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| + | unanalyzed | call on toWeblogEntrySet | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | wd != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getCreator (...)@293 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.Weblog:getLocale( ...)@291 == null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntry(toWeblogEntry#1). creatingUser) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntry(toWeblogEntry#1). dateCreated) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntry(toWeblogEntry#1). description) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntry(toWeblogEntry#1). emailAddress) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntry(toWeblogEntry#1).enabled) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntry(toWeblogEntry#1).handle) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntry(toWeblogEntry#1).name) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntry(toWeblogEntry#1).timezone) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted | 2009-09-04 18:33:31 |
| + | post | java.net.URL:toString(...)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | new Locale(LocaleString#1) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new Locale(LocaleString#2) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new Locale(LocaleString#3) num objects == 0 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntry(toWeblogEntry#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntry(toWeblogEntry#1).appEntriesUrl == &java.net.URL:toString(...) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntry(toWeblogEntry#1).appResourcesUrl == &java.net.URL:toString(...) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntry(toWeblogEntry#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | new WeblogEntry(toWeblogEntry#1).locale == null | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntry(toWeblogEntry# 1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) uds[...] != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | uds != null | 2009-09-04 18:33:31 |
| + | pre | uds.length <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@320 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.User:getPermissio ns(...)@318 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@321 != null | 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.entries) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | post | return_value.href == &java.lang. StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@319: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) wds[...] != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | wds != null | 2009-09-04 18:33:31 |
| + | pre | wds.length <= 232-1 | 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.entries) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | post | return_value.href == &java.lang. StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | c != null | 2009-09-04 18:33:31 |
| + | pre | c.entries != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.urlPrefix) | 2009-09-04 18:33:31 |
| + | pre | this.roller != null | 2009-09-04 18:33:31 |
| + | presumption | getEntries(...).length@222 <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | getEntries(...).length@222 <= getEntries(...). length@223 | 2009-09-04 18:33:31 |
| + | presumption | getEntries(...).length@223 >= 1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:toArray(...).length@228 <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:toArray(...)@228 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.List:toArray(...)@72 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries) | 2009-09-04 18:33:31 |
| + | post | java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...) | 2009-09-04 18:33:31 |
| + | post | return_value == &new WeblogEntrySet(toWeblogEnt rySet#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getRoller | 2009-09-04 18:33:31 |
| + | unanalyzed | call on getUrlPrefix | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Exception | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.IllegalArgumentException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:split | 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.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.ArrayList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:toArray | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getID | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.TimeZone:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:saveWebsite | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:flush | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getCreator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setEnabled | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:setTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on setHref | 2009-09-04 18:33:31 |