package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141

sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

val base_directory : string Prelude.ref

val goblint_dirname : string

val version_map_filename : string

val cil_file_name : string

val solver_data_file_name : string

val results_dir : string

val results_tmp_dir : string

val gob_directory : unit -> string

val gob_results_dir : unit -> string

val gob_results_tmp_dir : unit -> string

val marshal : 'a -> string -> unit

val unmarshal : string -> 'a

val results_exist : unit -> bool

type incremental_data_kind =

val type_to_file_name : incremental_data_kind -> string

val load_data : incremental_data_kind -> 'a

Loads data for incremntal runs from the appropriate file

val store_data : 'a -> incremental_data_kind -> unit

Stores data for future incremental runs at the appropriate file, given the data and what kind of data it is.

val move_tmp_results_to_results : unit -> unit

Deletes previous analysis results and moves the freshly created results there.