Warning: java.dyn.InvokeDynamic is a phantom class!
2012-03-21 10:08:21,868 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - Hidden fields, names = 11, size = 132
2012-03-21 10:08:50,349 [main] INFO  dk.brics.webflow.InformationFlowAnalysis  - Calculating client value flow for <net.sourceforge.pebble.web.controller.HttpController: void doPost(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>
2012-03-21 10:09:06,230 [main] INFO  dk.brics.webflow.DependenceAnalysis  - Analysing implicit data dependence
2012-03-21 10:09:09,025 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Sending (argument base (values=[[id]])) client state value to external (non-analyzed) method: <java.io.File: boolean mkdir()>. 
Context: Trace:
<net.sourceforge.pebble.domain.Theme: void copy(java.io.File,java.io.File)>, 
<net.sourceforge.pebble.domain.Theme: void restore(java.lang.String)>, 
<net.sourceforge.pebble.domain.Theme: void restore()>, 
<net.sourceforge.pebble.domain.Blog: void start()>, 
<net.sourceforge.pebble.domain.BlogManager: void startBlog(java.lang.String,java.lang.String)>, 
<net.sourceforge.pebble.domain.BlogManager: void addBlog(java.lang.String)>, 
<net.sourceforge.pebble.web.action.AddBlogAction: net.sourceforge.pebble.web.view.View process(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void processRequest(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void doPost(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


2012-03-21 10:09:09,031 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Reading application state using client state ([[id]]): <java.io.FileReader: void <init>(java.io.File)>. 
Context: Trace:
<net.sourceforge.pebble.domain.BlogManager: void startBlog(java.lang.String,java.lang.String)>, 
<net.sourceforge.pebble.domain.BlogManager: void addBlog(java.lang.String)>, 
<net.sourceforge.pebble.web.action.AddBlogAction: net.sourceforge.pebble.web.view.View process(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void processRequest(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void doPost(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


2012-03-21 10:09:09,035 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Writing client state value ([[id]]) to application state method: <java.io.FileWriter: void <init>(java.io.File)>. 
Context: Trace:
<net.sourceforge.pebble.domain.BlogManager: void startBlog(java.lang.String,java.lang.String)>, 
<net.sourceforge.pebble.domain.BlogManager: void addBlog(java.lang.String)>, 
<net.sourceforge.pebble.web.action.AddBlogAction: net.sourceforge.pebble.web.view.View process(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void processRequest(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void doPost(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


2012-03-21 10:09:09,039 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Reading application state using client state ([[id]]): <java.io.FileInputStream: void <init>(java.io.File)>. 
Context: Trace:
<net.sourceforge.pebble.domain.Theme: void copy(java.io.File,java.io.File)>, 
<net.sourceforge.pebble.domain.Theme: void backup(java.lang.String)>, 
<net.sourceforge.pebble.domain.Theme: void backup()>, 
<net.sourceforge.pebble.domain.Blog: void stop()>, 
<net.sourceforge.pebble.domain.BlogManager: void stopBlog(net.sourceforge.pebble.domain.Blog)>, 
<net.sourceforge.pebble.domain.BlogManager: void reloadBlog(net.sourceforge.pebble.domain.Blog)>, 
<net.sourceforge.pebble.domain.BlogManager: void startBlog(java.lang.String,java.lang.String)>, 
<net.sourceforge.pebble.domain.BlogManager: void addBlog(java.lang.String)>, 
<net.sourceforge.pebble.web.action.AddBlogAction: net.sourceforge.pebble.web.view.View process(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void processRequest(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void doPost(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


2012-03-21 10:09:09,043 [main] ERROR dk.brics.webflow.InformationFlowResultAnalysis  - Writing client state value ([[id]]) to application state method: <java.io.FileOutputStream: void <init>(java.io.File)>. 
Context: Trace:
<net.sourceforge.pebble.domain.Theme: void copy(java.io.File,java.io.File)>, 
<net.sourceforge.pebble.domain.Theme: void backup(java.lang.String)>, 
<net.sourceforge.pebble.domain.Theme: void backup()>, 
<net.sourceforge.pebble.domain.Blog: void stop()>, 
<net.sourceforge.pebble.domain.BlogManager: void stopBlog(net.sourceforge.pebble.domain.Blog)>, 
<net.sourceforge.pebble.domain.BlogManager: void reloadBlog(net.sourceforge.pebble.domain.Blog)>, 
<net.sourceforge.pebble.domain.BlogManager: void startBlog(java.lang.String,java.lang.String)>, 
<net.sourceforge.pebble.domain.BlogManager: void addBlog(java.lang.String)>, 
<net.sourceforge.pebble.web.action.AddBlogAction: net.sourceforge.pebble.web.view.View process(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void processRequest(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>, 
<net.sourceforge.pebble.web.controller.HttpController: void doPost(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>


2012-03-21 10:09:11,066 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - InteractionResultStats{InternalMethod=0, WriteToGlobal=5, ReadFromGlobal=4, SendToNonAnalyzed=0, SendToUnavailable=0, safeParameters=10, safeParameterNames=10, parameters=11, parameterNames=11, Sinks=8}

Warning: net.sourceforge.pebble.web.action.BlogEntryToPdfAction is a phantom class!
Warning: java.dyn.InvokeDynamic is a phantom class!
2012-03-21 10:13:54,851 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - Hidden fields, names = 11, size = 132
2012-03-21 10:13:54,872 [main] INFO  dk.brics.webflow.InformationFlowAnalysis  - Calculating client value flow for <net.sourceforge.pebble.web.controller.HttpController: void doPost(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>
2012-03-21 10:14:01,023 [main] INFO  dk.brics.webflow.DependenceAnalysis  - Analysing implicit data dependence

2012-03-21 10:14:04,471 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - InteractionResultStats{InternalMethod=0, WriteToGlobal=0, ReadFromGlobal=0, SendToNonAnalyzed=0, SendToUnavailable=0, safeParameters=11, safeParameterNames=11, parameters=11, parameterNames=11, Sinks=0}