@Test
public void testDerivedConfiguration() throws Exception {

    FindSecBugsGlobalConfig.getInstance().setDebugOutputTaintConfigs(true);
    TaintDataflowEngine.writer = mock(Writer.class);
    //Locate test code
    String[] files = {
            getClassFilePath("testcode/command/CommandInjection"),
            getClassFilePath("testcode/command/MoreMethods"),
            getClassFilePath("testcode/command/SubClass")
    };
    //Run the analysis
    EasyBugReporter reporter = spy(new BaseDetectorTest.SecurityReporter());
    analyze(files, reporter);
    verify(TaintDataflowEngine.writer,atLeast(2)).append(anyString());
    FindSecBugsGlobalConfig.getInstance().setDebugOutputTaintConfigs(false);
}