ControlFlowAnalysisDsl

DSL block for analyzerExecution { controlFlowAnalysis { ... } } at defaults, group, and element levels.

Enables control-flow-only analysis (call-graph generation without taint).

analyzerExecution {
    controlFlowAnalysis {
        enabled = true
    }
}