1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
open Cil_types
let apply _ =
let f = Globals.Functions.find_by_name "f" in
let s = Kernel_function.find_first_stmt f in
let l = Kernel_function.find_all_enclosing_blocks s in
List.iter
(fun b -> b.bstmts <-
Cil.mkStmtOneInstr (Skip (Cil_datatype.Stmt.loc s)) :: b.bstmts)
l;
File.must_recompute_cfg (Kernel_function.get_definition f) ;
Ast.mark_as_grown ()
let () = Ast.apply_after_computed apply
let run () =
Ast.compute ();
File.pretty_ast ()
let () = Db.Main.extend run
|
