result.json

[
    {
        "configOption": {
            "reloadConfig": {
                "type": "bool",
                "description": ""
            },
            "module": {
                "content": {
                    "functions": {
                        "type": "string",
                        "description": ""
                    }
                },
                "type": "list",
                "description": "The configuration of this list is wrong"
            }
        },
        "dependencies": [
            "ModuleExecutionDetector"
        ],
        "name": "ControlFlowGraph",
        "description": "Manages control flow graphs for modules"
    },
    {
        "configOption": {
            "dumpInfoInterval": {
                "type": "int",
                "description": ""
            }
        },
        "dependencies": [
            "OSMonitor",
            "ProcessExecutionDetector",
            "ModuleExecutionDetector"
        ],
        "name": "CallSiteMonitor",
        "description": "CallSiteMonitor S2E plugin"
    },
    {
        "configOption": {},
        "dependencies": [
            "ExecutionTracer",
            "ModuleExecutionDetector"
        ],
        "name": "InstructionCounter",
        "description": "Instruction counter plugin"
    },
    {
        "configOption": {
            "generateOnSegfault": {
                "type": "bool",
                "description": "Generate a test case on segmentation fault"
            },
            "generateOnStateKill": {
                "type": "bool",
                "description": "Generate a test case on state kill"
            }
        },
        "dependencies": [],
        "name": "TestCaseGenerator",
        "description": "TestCaseGenerator plugin"
    },
    {
        "configOption": {},
        "dependencies": [
            "ExecutionTracer"
        ],
        "name": "StateSwitchTracer",
        "description": "Traces state switches"
    },
    {
        "configOption": {},
        "dependencies": [],
        "name": "ExecutionTracer",
        "description": "ExecutionTracer plugin"
    },
    {
        "configOption": {
            "flushTbCache": {
                "type": "bool",
                "description": "Whether or not to flush the translation block cache when enabling/disabling tracing."
            },
            "manualTrigger": {
                "type": "bool",
                "description": ""
            }
        },
        "dependencies": [
            "ExecutionTracer",
            "ModuleExecutionDetector"
        ],
        "name": "TBCoverageTracer",
        "description": "Tracer for translation blocks"
    },
    {
        "configOption": {
            "enableSeeds": {
                "type": "bool",
                "description": ""
            },
            "enableParallelSeeding": {
                "type": "bool",
                "description": ""
            },
            "seedDirectory": {
                "type": "string",
                "description": ""
            },
            "maxSeedStates": {
                "type": "int",
                "description": ""
            }
        },
        "dependencies": [
            "MultiSearcher",
            "CUPASearcher"
        ],
        "name": "SeedSearcher",
        "description": "Seed searcher"
    },
    {
        "configOption": {},
        "dependencies": [],
        "name": "MultiSearcher",
        "description": "MultiSearcher S2E plugin"
    },
    {
        "configOption": {
            "batchTime": {
                "type": "int",
                "description": ""
            },
            "classes": {
                "type": "stringList",
                "description": ""
            },
            "enabled": {
                "type": "bool",
                "description": ""
            }
        },
        "dependencies": [
            "ModuleExecutionDetector",
            "MultiSearcher"
        ],
        "name": "CUPASearcher",
        "description": "CUPA searcher"
    },
    {
        "configOption": {
            "stateMachineTimeout": {
                "type": "int",
                "description": "How long do we wait before using new seeds.\nUsing seeds is currently expensive. For simple CBs, seeds slow down vulnerability finding by a lot. Use them only when S2E is stuck."
            },
            "lowPrioritySeedThreshold": {
                "type": "int",
                "description": "Seeds with priority equal to or lower than the threshold are considered low priority For CFE, high priorities range from 10 to 7 (various types of POVs and crashes), while normal test cases are from 6 and below."
            }
        },
        "dependencies": [
            "SeedSearcher",
            "OSMonitor",
            "TranslationBlockCoverage"
        ],
        "name": "SeedScheduler",
        "description": "Coordinates seed scheduling"
    },
    {
        "configOption": {
            "writeCoverageOnStateKill": {
                "type": "bool",
                "description": "This is mainly for debugging, in normal use would generate too many files"
            }
        },
        "dependencies": [
            "ControlFlowGraph"
        ],
        "name": "BasicBlockCoverage",
        "description": "Reports basic block coverage for registered modules"
    },
    {
        "configOption": {
            "writeCoverageOnStateKill": {
                "type": "bool",
                "description": "This is mainly for debugging, in normal use would generate too many files"
            }
        },
        "dependencies": [
            "ModuleExecutionDetector"
        ],
        "name": "TranslationBlockCoverage",
        "description": "TranslationBlockCoverage S2E plugin"
    },
    {
        "configOption": {
            "moduleNames": {
                "type": "stringList",
                "description": "Fetch the list of modules where to report the calls"
            }
        },
        "dependencies": [
            "OSMonitor"
        ],
        "name": "ProcessExecutionDetector",
        "description": "ProcessExecutionDetector S2E plugin"
    },
    {
        "configOption": {
            "trackExecution": {
                "type": "bool",
                "description": ""
            },
            "trackAllModules": {
                "type": "bool",
                "description": "When true, pass events about all module loads and unloads to client plugins but do not notify them about the execution. This is useful for execution tracers to record modules loads to provide debug information offline without actually recording any trace."
            },
            "configureAllModules": {
                "type": "bool",
                "description": "When true, consider all modules of the system to be of interest, regardless of per-module configuration."
            },
            "module": {
                "content": {
                    "moduleName": {
                        "type": "string",
                        "description": "The name of the module. This must match the name returned by the OS monitoring plugin."
                    },
                    "kernelMode": {
                        "type": "bool",
                        "description": "Whether the module lies above or below the kernel-mode threshold. Assumes that the module is mapped in all address space at the same location above the kernel/user-space boundary."
                    }
                },
                "type": "list",
                "description": "list of modules"
            }
        },
        "dependencies": [
            "OSMonitor",
            "Vmi"
        ],
        "name": "ModuleExecutionDetector",
        "description": "Plugin for monitoring module execution"
    }
]