Messages

method

org.apache.roller.weblogger.util.WSSEUtilities__ static_init

method

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

method	String generateDigest(byte[], byte[], byte[])
presumption	java.security.MessageDigest:getInstance(...)@36 != null
post	return_value == One-of{&new String(generateDige st#1), null}
post	return_value in Addr_Set{null,&new String(generateDigest#1)}
post	new String(generateDigest#1) num objects <= 1
unanalyzed	call on org.apache.commons.codec.binary. Base64:encodeBase64
unanalyzed	call on java.lang.String

info method not available -- call on byte[] org.apache.commons.codec.binary. Base64:decodeBase64(byte[])

method	String base64Encode(byte[])
post	return_value == &new String(base64Encode#1)
post	new String(base64Encode#1) num objects == 1

info method not available -- call on byte[] org.apache.commons.codec.binary. Base64:encodeBase64(byte[])

method	String generateWSSEHeader(String, String)
pre	password != null
presumption	java.text.SimpleDateFormat:format(...)@62 != null
post	java.lang.StringBuffer:toString(...)._tainted == userName._tainted
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on org.apache.commons.codec.binary. Base64:encodeBase64
unanalyzed	call on java.lang.String
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.security.MessageDigest:reset
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.lang.Throwable:__curr_excep_obj