let from_stmt s =
let kf = Kernel_function.find_englobing_kf s in
try
Dynamic.get
~plugin:"Security_slicing"
"impact_analysis"
(Datatype.func2 Kernel_function.ty Stmt.ty (Datatype.list Stmt.ty))
kf s
with
| Dynamic.Incompatible_type _ ->
error "versions of plug-ins `impact' and `Security_slicing' seem incompatible.\nCheck the environement variable FRAMAC_PLUGIN.\nAnalysis discarded.";
[]
| Dynamic.Unbound_value _ ->
error "cannot access to plug-in `Security_slicing'.\nAre you sure that it is loaded? Check the environement variable FRAMAC_PLUGIN.\nAnalysis discarded.";
[]