Flowdroid工作空间搭建

我摸索了一下，通过各种方法，在win10 eclipse上搭了一下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\.taskListIndex\segments_1
     文件           0  2019-01-10 10:24  FlowdroidTest-eclipe-workspace\.metadata\.mylyn\.taskListIndex\write.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\.mylyn\contexts\
     文件         561  2019-01-10 10:25  FlowdroidTest-eclipe-workspace\.metadata\.mylyn\repositories.xml.zip
     文件         235  2019-01-10 10:46  FlowdroidTest-eclipe-workspace\.metadata\.mylyn\tasks.xml.zip
     目录           0  2019-01-10 10:55  FlowdroidTest-eclipe-workspace\.metadata\.plugins\
     目录           0  2019-01-10 10:55  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.buildship.core\
     目录           0  2019-01-10 10:55  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\
     目录           0  2019-01-10 10:35  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\1a\
     文件         217  2019-01-10 10:35  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\1a\5039315c801400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\27\
     文件         197  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\27\a06e9a03811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\3a\
     文件          97  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\3a\60f09403811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:35  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\46\
     文件         225  2019-01-10 10:35  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\46\a0ec7b5e801400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\7b\
     文件         245  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\7b\3084d103811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\86\
     文件          77  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\86\00b38c03811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\9f\
     文件         155  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\9f\a0fd9703811400191ae9cb95af3b6b31
     目录           0  2019-01-10 10:39  FlowdroidTest-eclipe-workspace\.metadata\.plugins\org.eclipse.core.resources\.history\be\
............此处省略2177个文件信息