Module IBase.DBWriter

val use_daemon : bool

indicates that there should be a daemon running

val replace_attributes : proc_uid:string -> proc_name:Sqlite3.Data.t -> attr_kind:int64 -> source_file:Sqlite3.Data.t -> proc_attributes:Sqlite3.Data.t -> cfg:Sqlite3.Data.t -> callees:Sqlite3.Data.t -> unit
val add_source_file : source_file:Sqlite3.Data.t -> tenv:Sqlite3.Data.t -> integer_type_widths:Sqlite3.Data.t -> proc_names:Sqlite3.Data.t -> unit
val mark_all_source_files_stale : unit -> unit
val merge : infer_deps_file:string -> unit
val canonicalize : unit -> unit

put the database on disk in deterministic form

val reset_capture_tables : unit -> unit
val start : unit -> unit
val stop : unit -> unit
val store_spec : proc_uid:string -> proc_name:Sqlite3.Data.t -> analysis_summary:Sqlite3.Data.t -> report_summary:Sqlite3.Data.t -> unit
val delete_spec : proc_uid:string -> unit
val delete_all_specs : unit -> unit