package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de

sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd

Join start values into right-hand sides. This simplifies start handling in Make.

module S : StartEqConstrSys

type v = S.v

type d = S.d

module Var = S.Var

Variables must be hashable, comparable, etc.

module Dom = S.Dom

Values must form a lattice.

val box : v -> d -> d -> d

box --- needed here for transformations

val system : v -> ((v -> d) -> (v -> d -> unit) -> d) option

The system in functional form.

val increment : Analyses.increment_data

Data used for incremental analysis

val iter_vars : (v -> d) -> VarQuery.t -> v VarQuery.f -> unit

On This Page