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

sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de

sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd

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