2012-03-21 02:22:52,533 [main] INFO  dk.brics.webflow.InformationFlowAnalysis  - Calculating client value flow for <org.owasp.webgoat.HammerHead: void doPost(javax.servlet.http.HttpServletRequest,javax.servlet.http.HttpServletResponse)>
2012-03-21 02:23:00,615 [main] INFO  dk.brics.webflow.DependenceAnalysis  - Analysing implicit data dependence
2012-03-21 02:23:03,356 [main] INFO  dk.brics.servletvalidator.webflow.SecurityAnalyses  - InteractionResultStats{InternalMethod=0, WriteToGlobal=0, ReadFromGlobal=0, SendToNonAnalyzed=0, SendToUnavailable=0, safeParameters=0, safeParameterNames=0, parameters=0, parameterNames=0, Sinks=0}

NOTE: Statistics are off because we generated the field summary ourselves