Module Datalog_c

type fact = Datalog_code.fact
type env = {
  1. scope : string;
  2. c_file_readable : Common.filename;
  3. long_format : bool;
  4. globals : Graph_code.graph;
  5. globals_renames : Ast_c.name -> Ast_c.name;
  6. locals : (string * Ast_c.type_ option) list ref;
  7. facts : fact list ref;
}
val instrs_of_expr : env -> Ast_c.expr -> Ast_cil.instr list
val long_format : bool ref
val facts_of_instr : env -> Ast_cil.instr -> fact list
val facts_of_def : env -> Ast_c.toplevel -> fact list
val return_fact : env -> Ast_cil.instr -> fact