package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

Dune Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (8)

Authors

Maintainers

Sources

goblint-2.0.0.tbz

sha256=2f4f2e25b765452f0e336941f35f6cb396d7c213a2d347abe5d35febc5159b1f

sha512=e96af4cad91f6985c8db93c194925853e96cad0ec1a0d9f4d32bbe16d3e5fa1e305f54be02839f21ba89ad2af0c2d5d7aa819ade221ce097dc4dbd0fcd8c8500

doc/goblint.lib/Goblint_lib/Goblintutil/index.html

Module `Goblint_lib.Goblintutil`

Globally accessible flags and utility functions.

Outputs information about what the goblin is doing

val should_warn : bool Stdlib.ref

If this is true we output messages and collect accesses. This is set to true in control.ml before we verify the result (or already before solving if warn = 'early')

val svcomp_may_overflow : bool Stdlib.ref

Whether signed overflow or underflow happened

val out : Stdlib.out_channel Stdlib.ref

The file where everything is output

val create_var : GoblintCil.varinfo -> GoblintCil.varinfo

Command for assigning an id to a varinfo. All varinfos directly created by Goblint should be modified by this method

val type_inv_tbl : (int, GoblintCil.varinfo) Stdlib.Hashtbl.t

val type_inv : GoblintCil.compinfo -> GoblintCil.varinfo

val is_blessed : GoblintCil.typ -> GoblintCil.varinfo option

val global_initialization : bool Stdlib.ref

A hack to see if we are currently doing global inits

val earlyglobs : bool Stdlib.ref

Another hack to see if earlyglobs is enabled

val postsolving : bool Stdlib.ref

Whether currently in postsolver evaluations (e.g. verify, warn)

val verified : bool option Stdlib.ref

val escape : string -> string

val create_dir : Fpath.t -> Fpath.t

Creates a directory and returns the absolute path *

val rm_rf : Fpath.t -> unit

Remove directory and its content, as "rm -rf" would do.

exception Timeout

val timeout : ('a -> 'b) -> 'a -> float -> (unit -> unit) -> 'b

val seconds_of_duration_string : string -> int

val vars : int Stdlib.ref

val evals : int Stdlib.ref

val narrow_reuses : int Stdlib.ref

val print_gc_quick_stat : Stdlib.out_channel -> Stdlib.Gc.stat

val exe_dir : Fpath.t

val command_line : string

val signal_of_string : string -> int

val self_signal : int -> unit

val for_all_in_range : 
  (Big_int_Z.big_int * Big_int_Z.big_int) ->
  (Big_int_Z.big_int -> bool) ->
  bool

val dummy_obj : Stdlib.Obj.t

val jobs : unit -> int