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

sha256=b729c94adb383a39aea32eb005c988dfd44b92af22ee6a4eedf4239542ac6c26

sha512=643b98770e5fe5644324c95c9ae3a9f698f25c8b11b298f0751d524e0b20af368b2a465fc8200b75a73d48fc9a053fd90f5e8920d4db070927f93188bb8687e0

doc/goblint.lib/Goblint_lib/Spec/SC/index.html

Module `Spec.SC`

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