let from_stmt s =
  let kf = snd (Kernel_function.find_from_sid s.sid) in
  !Security.impact_analysis kf s