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.1.0.tbz

sha256=bfc412ec2e447eaef6f4f83892e3511ebf305593cb00561c1406be3ae8bf48e9

sha512=5f2a162e5f36bffafc9836b0d18b5b2808cecfa6bf68f83bb7d1e8b9947ac74cf07776eb09274b4b29d55c897a45a10768f0d9ed25810cf6ba2409c525e4cd4d

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

Module `Goblint_lib.SpecCore`

exception Endl

exception Eof

type lval =

| Ptr of lval
| Var of string
| Ident of string

type fcall = {

fname : string;
args : exp list;

}

and exp =

| Fun of fcall
| Exp_
| Lval of lval
| Regex of string
| String of string
| Bool of bool
| Int of int
| Float of float
| Binop of string * exp * exp
| Unop of string * exp

type stmt = {

lval : lval option;
exp : exp;

}

type def =

| Node of string * string
| Edge of string * string list * bool * string * stmt

val fname_is : string -> stmt -> bool

val is_wildcard : stmt -> bool

val branch_exp : stmt -> (exp * bool) option

val is_branch : stmt -> bool

val startnode : ('a * 'b * 'c * 'd * 'e) list -> 'a

val warning : 'a -> ('a * 'b) list -> 'b option

val get_lval : stmt -> [> `Ident | `Ptr | `Var ] option

val get_exp : 
  exp ->
  [> `Bool of bool
  | `Error of string
  | `Float of float
  | `Free
  | `Ident of string
  | `Int of int
  | `Regex of string
  | `String of string
  | `Var of string ]

val get_rval : 
  stmt ->
  [> `Bool of bool
  | `Error of string
  | `Float of float
  | `Free
  | `Ident of string
  | `Int of int
  | `Regex of string
  | `String of string
  | `Var of string ]

val get_key_variant : 
  stmt ->
  [> `Arg of string * int | `Lval of string | `None | `Rval of string ]

val equal_form : 'a option -> stmt -> bool

val get_fun_args : 
  stmt ->
  [> `Bool of bool
  | `Error of string
  | `Float of float
  | `Free
  | `Ident of string
  | `Int of int
  | `Regex of string
  | `String of string
  | `Var of string ]
    list

val lval_to_string : lval -> string

val exp_to_string : exp -> string

val stmt_to_string : stmt -> string

val arrow_to_string : string list -> bool -> string

val def_to_string : def -> string

val to_dot_graph : def list -> string