let initial_nodes kf stmt =
Security_slicing_parameters.debug
~level:3 "computing initial nodes for %d" stmt.sid;
let pdg = !Pdg.get kf in
let nodes =
if Db.Value.is_reachable_stmt stmt then
try !Pdg.find_simple_stmt_nodes pdg stmt
with Not_found -> assert false
else begin
Security_slicing_parameters.debug
~level:3 "stmt %d is dead. skipping." stmt.sid;
[]
end
in
Todolist.mk_init kf pdg nodes