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/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