package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install 

dune-project
 Dependency

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

Authors

  1. V
    Vesal Vojdani
  2. K
    Kalmer Apinis
  3. R
    Ralf Vogler
  4. M
    Michael Schwarz
  5. J
    Julian Erhard
  6. S
    Simmo Saan

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. S
    Simmo Saan <simmo.saan@gmail.com>
  3. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

goblint-1.1.1.tbz
sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141
sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

doc/goblint.lib/OilUtil/index.html

Module OilUtil

type attribute_v =
  1. | Name of string * (string * attribute_v) list option
  2. | Bool of bool * (string * attribute_v) list option
  3. | Int of int
  4. | Float of float
  5. | String of string
  6. | Auto
and param_t = string * attribute_v
val show_attribute_v : attribute_v -> Ppx_deriving_runtime.string
val show_param_t : param_t -> Ppx_deriving_runtime.string
type object_t = string * string * param_t list
type res_t = string * int * Cil.exp
type event_t = string * bool
type task_t = bool * int * string list * string list * bool * bool * int
type isr_t = int * string list * int
type spinlock_t = string * string list * Cil.exp
val osek_renames : string ref
val osek_ids : string ref
val header : string
val osek_names : (string, string) Hashtbl.t
val osek_ISR_PRIORITY : string list ref
val osek_API_funs : string list
val startuphook : bool ref
val shutdownhook : bool ref
val errorhook : bool ref
val pretaskhook : bool ref
val posttaskhook : bool ref
val bcc1 : bool ref
val bcc2 : bool ref
val ecc1 : bool ref
val ecc2 : bool ref
val use_res_scheduler : bool ref
val resources : (string, res_t) Hashtbl.t
val events : (string, event_t) Hashtbl.t
val tasks : (string, task_t) Hashtbl.t
val isrs : (string, isr_t) Hashtbl.t
val alarms : (string, bool * string list) Hashtbl.t
val spinlocks : (string, spinlock_t) Hashtbl.t
val spinlockids : (Cil.exp, string) Hashtbl.t
val resourceids : (Cil.exp, string) Hashtbl.t
val eventids : (Cil.exp, string) Hashtbl.t
val taskids : (Cil.exp, string) Hashtbl.t
val isrids : (Cil.exp, string) Hashtbl.t
val alarmids : (Cil.exp, string) Hashtbl.t
val starting_tasks : string list ref
val concurrent_tasks : string list ref
val warned : string list ref
val enclose_string : string -> string -> string -> string
val make_task : string -> string
val make_isr : string -> string
val trim_task : string -> string
val trim_isr : string -> string
val trim : string -> string
val pry : string -> int
val get_api_names : string -> string
val is_task : string -> bool
val is_task_res : string -> bool
val is_starting : string -> bool
val generate_header : unit -> unit
val finish_alarm_handling : unit -> unit
val compare_objs : (string * 'a * 'b) -> (string * 'c * 'd) -> int
val check_api_use : int -> string -> string -> unit
val get_lock : string -> Cil.exp
val get_spinlock : string -> Cil.exp
val make_lock : string -> Cil.exp
val make_spinlock : string -> Cil.exp
val find_name : string -> string
val check_res_decl : string -> unit
val check_event_decl : string -> unit
val check_task : string -> ('a * int * string list * string list * 'b * 'c * 'd) -> unit
val check_isr : int -> int -> string -> (int * string list * int) -> unit
val check_osek : unit -> unit
val compute_ceiling_priority : string -> (string * int * Cil.exp) -> unit
val handle_attribute_os : (string * attribute_v) -> unit
val handle_attribute_task : string -> (bool * int * string list * string list * 'a * bool * int) -> (string * attribute_v) -> bool * int * string list * string list * 'a * bool * int
val handle_attribute_isr : string -> (int * string list * int) -> (string * attribute_v) -> int * string list * int
val handle_action_alarm : string -> (string * attribute_v) -> unit
val handle_event_alarm : string -> (string * attribute_v) -> unit
val handle_attribute_alarm : string -> (string * attribute_v) -> unit
val handle_attribute_resource : string -> (string * attribute_v) -> unit
val handle_attribute_event : string -> (string * 'a) -> unit
val add_to_table : (string * string * (string * attribute_v) list) -> unit