let is_concerned_by_security _s =
(* Julien: en fait, c'est peut-être plus difficile à coder que ce que je
pensais dans la mesure où certains stmt ne sont pas dans l'ensemble
[Stmts], par exemple les blocks (à vérifier cependant. *)
(* compute ();
let res =
try
Nodes.iter
(fun (n, _) ->
match PdgTypes.Node.stmt n with
| None -> ()
| Some s' -> if s.sid = s'.sid then raise Found);
false
with Found ->
true
in
(* let res = Stmts.mem s in*)
(* Format.printf "%a: %b@." Cil.d_stmt s res;*)
res || match s.skind with Block _ -> true | _ -> false*)
true