package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Input program from a real-world project using a compilation database.

val basename : string
type command_object = {
  1. directory : Goblint_std.GobFpath.t;
  2. file : Goblint_std.GobFpath.t;
  3. command : string option;
  4. arguments : string list option;
  5. output : Goblint_std.GobFpath.t option;
}
val command_object_to_yojson : command_object -> Yojson.Safe.t
val pp_command_object : Ppx_deriving_runtime.Format.formatter -> command_object -> Ppx_deriving_runtime.unit
val show_command_object : command_object -> Ppx_deriving_runtime.string
type t = command_object list
val to_yojson : t -> Yojson.Safe.t
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val parse_file : Fpath.t -> t
val command_c_regexp : Str.regexp
val argument_c_regexp : Str.regexp
val split : command_object -> command_object list
val command_o_regexp : Str.regexp
val command_program_regexp : Str.regexp
val load_and_preprocess : all_cppflags:string list -> Fpath.t -> (Fpath.t * ProcessPool.task option) list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct