WSSEUtilities.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + byte[] base64Decode(String)

    • -/+ Kind Annotation Text Date
    +prevalue != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String base64Encode(byte[])

    • -/+ Kind Annotation Text Date
    +postnew String(base64Encode#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new String(base64Encode#1)2009-09-04 18:33:31

  • + String generateDigest(byte[], byte[], byte[])

    • -/+ Kind Annotation Text Date
    +presumptionjava.security.MessageDigest:getInstance(...)@36 != null2009-09-04 18:33:31
    +postnew String(generateDigest#1) num objects <= 12009-09-04 18:33:31
    +postreturn_value == One-of{&new String(generateDige st#1), null}2009-09-04 18:33:31
    +postreturn_value in Addr_Set{null,&new String(generateDigest#1)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.codec.binary. Base64:encodeBase642009-09-04 18:33:31

  • + String generateWSSEHeader(String, String)

    • -/+ Kind Annotation Text Date
    +prepassword != null2009-09-04 18:33:31
    +presumptionjava.text.SimpleDateFormat:format(...)@62 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == userName._tainted2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.security.MessageDigest:digest2009-09-04 18:33:31
    +unanalyzedcall on java.security.MessageDigest:getInstance2009-09-04 18:33:31
    +unanalyzedcall on java.security.MessageDigest:reset2009-09-04 18:33:31
    +unanalyzedcall on java.security.MessageDigest:update2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.codec.binary. Base64:encodeBase642009-09-04 18:33:31

  • + void org.apache.roller.weblogger.util.WSSEUtilities()

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.util.WSSEUtilities__static_init

    • -/+ Kind Annotation Text Date