Warning: java.dyn.InvokeDynamic is a phantom class!
2012-03-21 09:34:23,172 [main] INFO  dk.brics.servletvalidator.FrontEndAnalysis  - Adding classes to analyze, main class = dtw.webmail.JwmaSendMail
2012-03-21 09:34:23,306 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - Hidden fields, names = 18, size = 268
2012-03-21 09:34:59,153 [main] INFO  dk.brics.webflow.InformationFlowAnalysis  - Calculating client value flow for <dtw.webmail.JwmaSendMail: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>
2012-03-21 09:35:00,385 [main] INFO  dk.brics.webflow.DependenceAnalysis  - Analysing implicit data dependence
2012-03-21 09:35:00,458 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Sending (argument 1 (values=[[to]])) client state value to external (non-analyzed) method: <javax.mail.internet.MimeMessage: void setRecipients(javax.mail.Message$RecipientType,javax.mail.Address[])>:245. 
Context: Trace:
<dtw.webmail.model.JwmaComposeMessage: void setTo(java.lang.String)>, 
    <dtw.webmail.JwmaSendMail: void doSendMessage(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


    2012-03-21 09:35:00,460 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Sending (argument 1 (values=[[ccto]])) client state value to external (non-analyzed) method: <javax.mail.internet.MimeMessage: void setRecipients(javax.mail.Message$RecipientType,javax.mail.Address[])>:285. 
    Context: Trace:
    <dtw.webmail.model.JwmaComposeMessage: void setCCTo(java.lang.String)>, 
    <dtw.webmail.JwmaSendMail: void doSendMessage(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


    2012-03-21 09:35:00,462 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Sending (argument 1 (values=[[bccto]])) client state value to external (non-analyzed) method: <javax.mail.internet.MimeMessage: void setRecipients(javax.mail.Message$RecipientType,javax.mail.Address[])>:313. 
    Context: Trace:
    <dtw.webmail.model.JwmaComposeMessage: void setBCCTo(java.lang.String)>, 
    <dtw.webmail.JwmaSendMail: void doSendMessage(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


    2012-03-21 09:35:00,467 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Sending (argument 0 (values=[[subject]])) client state value to external (non-analyzed) method: <javax.mail.internet.MimeUtility: java.lang.String encodeText(java.lang.String)>:341. 
    Context: Trace:
    <dtw.webmail.model.JwmaComposeMessage: void setSubject(java.lang.String)>, 
    <dtw.webmail.JwmaSendMail: void doSendMessage(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


    2012-03-21 09:35:00,473 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Sending (argument 0 (values=[[body]])) client state value to external (non-analyzed) method: <javax.mail.internet.MimeBodyPart: void setText(java.lang.String)>:537. 
    Context: Trace:
    <dtw.webmail.model.JwmaComposeMessage: void closeDraft(dtw.webmail.model.JwmaStoreImpl)>, 
    <dtw.webmail.JwmaSendMail: void doSendMessage(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


    2012-03-21 09:35:00,475 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Sending (argument 0 (values=[[body]])) client state value to external (non-analyzed) method: <javax.mail.internet.MimeMessage: void setText(java.lang.String)>:544. 
    Context: Trace:
    <dtw.webmail.model.JwmaComposeMessage: void closeDraft(dtw.webmail.model.JwmaStoreImpl)>, 
    <dtw.webmail.JwmaSendMail: void doSendMessage(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


    2012-03-21 09:35:00,480 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Sending (argument 0 (values=[[body]])) client state value to external (non-analyzed) method: <javax.mail.internet.MimeBodyPart: void setText(java.lang.String)>:452. 
    Context: Trace:
    <dtw.webmail.model.JwmaComposeMessage: void send(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void doSendMessage(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


    2012-03-21 09:35:00,483 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Sending (argument 0 (values=[[body]])) client state value to external (non-analyzed) method: <javax.mail.internet.MimeMessage: void setText(java.lang.String)>:459. 
    Context: Trace:
    <dtw.webmail.model.JwmaComposeMessage: void send(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void doSendMessage(dtw.webmail.JwmaSession)>, 
    <dtw.webmail.JwmaSendMail: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


    2012-03-21 09:35:00,503 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - InteractionResultStats{InternalMethod=0, WriteToGlobal=0, ReadFromGlobal=0, SendToNonAnalyzed=8, SendToUnavailable=0, safeParameters=13, safeParameterNames=13, parameters=18, parameterNames=18, Sinks=8}

Warning: java.dyn.InvokeDynamic is a phantom class!
2012-03-21 09:37:05,666 [main] INFO  dk.brics.servletvalidator.FrontEndAnalysis  - Adding classes to analyze, main class = dtw.webmail.JwmaContactsController
2012-03-21 09:37:05,711 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - Hidden fields, names = 18, size = 268
2012-03-21 09:37:37,901 [main] INFO  dk.brics.webflow.InformationFlowAnalysis  - Calculating client value flow for <dtw.webmail.JwmaContactsController: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>
2012-03-21 09:37:44,123 [main] INFO  dk.brics.webflow.DependenceAnalysis  - Analysing implicit data dependence
2012-03-21 09:37:44,334 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - InteractionResultStats{InternalMethod=0, WriteToGlobal=0, ReadFromGlobal=0, SendToNonAnalyzed=0, SendToUnavailable=0, safeParameters=10, safeParameterNames=10, parameters=10, parameterNames=10, Sinks=0}

Warning: java.dyn.InvokeDynamic is a phantom class!
2012-03-21 09:39:31,709 [main] INFO  dk.brics.servletvalidator.FrontEndAnalysis  - Adding classes to analyze, main class = dtw.webmail.JwmaController
2012-03-21 09:39:31,761 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - Hidden fields, names = 18, size = 268
2012-03-21 09:40:11,058 [main] INFO  dk.brics.webflow.InformationFlowAnalysis  - Calculating client value flow for <dtw.webmail.JwmaController: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>
2012-03-21 09:40:19,984 [main] INFO  dk.brics.webflow.DependenceAnalysis  - Analysing implicit data dependence
2012-03-21 09:40:20,441 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - InteractionResultStats{InternalMethod=0, WriteToGlobal=0, ReadFromGlobal=0, SendToNonAnalyzed=0, SendToUnavailable=0, safeParameters=10, safeParameterNames=10, parameters=10, parameterNames=10, Sinks=0}

Warning: java.dyn.InvokeDynamic is a phantom class!
2012-03-21 09:40:52,727 [main] INFO  dk.brics.servletvalidator.FrontEndAnalysis  - Adding classes to analyze, main class = dtw.webmail.JwmaAdminController
2012-03-21 09:40:52,766 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - Hidden fields, names = 18, size = 268
2012-03-21 09:41:26,045 [main] INFO  dk.brics.webflow.InformationFlowAnalysis  - Calculating client value flow for <dtw.webmail.JwmaAdminController: void service(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>
2012-03-21 09:41:26,285 [main] INFO  dk.brics.webflow.DependenceAnalysis  - Analysing implicit data dependence
2012-03-21 09:41:26,318 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - InteractionResultStats{InternalMethod=0, WriteToGlobal=0, ReadFromGlobal=0, SendToNonAnalyzed=0, SendToUnavailable=0, safeParameters=10, safeParameterNames=10, parameters=10, parameterNames=10, Sinks=0}