Flowdroid工作空间搭建

/**
   $Id: BasicTestCase.javav 1.5 2006/04/21 17:14:24 livshits Exp $
*/
package securibench.micro;

import java.io.IOException;

import javax.servlet.ServletConfig;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;

import soot.jimple.infoflow.test.securibench.supportClasses.DummyServletConfig;

public abstract class BasicTestCase extends HttpServlet {
    protected void doTrace（HttpServletRequest req HttpServletResponse resp）
        throws ServletException IOException
    {
        // do nothing
    }

    protected void doHead（HttpServletRequest req HttpServletResponse resp）
        throws ServletException IOException
    {
        // do nothing
    }
    
    protected void doPost（HttpServletRequest arg0 HttpServletResponse arg1） throws ServletException IOException {
        // do nothing     
    }
    
    protected void doDelete（HttpServletRequest arg0 HttpServletResponse arg1） throws ServletException IOException {
        // do nothing        
    }
    
    protected void doPut（HttpServletRequest arg0 HttpServletResponse arg1） throws ServletException IOException {
        // do nothing        
    }
    
    //added method for testing:
    
    @Override
	public ServletConfig getServletConfig（）{
		return new DummyServletConfig（）;
    	
    }
    
    
}

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2019-01-10 10:55  FlowdroidTest-eclipe-workspace
     目录           0  2019-01-10 10:24  FlowdroidTest-eclipe-workspace.metadata
     文件           0  2019-01-10 10:24  FlowdroidTest-eclipe-workspace.metadata.lock
     文件       86419  2019-01-10 10:41  FlowdroidTest-eclipe-workspace.metadata.log
     目录           0  2019-01-10 10:46  FlowdroidTest-eclipe-workspace.metadata.mylyn
     目录           0  2019-01-10 10:24  FlowdroidTest-eclipe-workspace.metadata.mylyn.taskListIndex
     文件          71  2019-01-10 10:24  FlowdroidTest-eclipe-workspace.metadata.mylyn.taskListIndexsegments_1
     文件           0  2019-01-10 10:24  FlowdroidTest-eclipe-workspace.metadata.mylyn.taskListIndexwrite.lock
     文件         235  2019-01-10 10:25  FlowdroidTest-eclipe-workspace.metadata.mylyn.tasks.xml.zip
     目录           0  2019-01-10 10:55  FlowdroidTest-eclipe-workspace.metadata.mylyncontexts
     文件         561  2019-01-10 10:25  FlowdroidTest-eclipe-workspace.metadata.mylyn
epositories.xml.zip
     文件         235  2019-01-10 10:46  FlowdroidTest-eclipe-workspace.metadata.mylyn asks.xml.zip
     目录           0  2019-01-10 10:55  FlowdroidTest-eclipe-workspace.metadata.plugins
     目录           0  2019-01-10 10:55  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.buildship.core
     目录           0  2019-01-10 10:55  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history
     目录           0  2019-01-10 10:35  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history1a
     文件         217  2019-01-10 10:35  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history1a5039315c801400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history27
     文件         197  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history27a06e9a03811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history3a
     文件          97  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history3a60f09403811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:35  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history46
     文件         225  2019-01-10 10:35  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history46a0ec7b5e801400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history7b
     文件         245  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history7b3084d103811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history86
     文件          77  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history860b38c03811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history9f
     文件         155  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.history9fa0fd9703811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace.metadata.pluginsorg.eclipse.core.resources.historye
............此处省略2177个文件信息