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)