let impact_analysis =
Dynamic.register
~plugin:"Security_slicing"
"impact_analysis"
~journalize:true
(Type.func2
Kernel_type.kernel_function
Kernel_type.stmt
(Type.list Kernel_type.stmt))
(Component.forward Component.Impact)