package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

A front-end for the C programming language that facilitates program analysis and transformation

Install

Dune Dependency

cil-project.github.io Readme Edit opam file Versions (11)

Authors

G

gabriel@kerneis.info

Maintainers

Sources

1.8.0.tar.gz

md5=796ad26120b5c6b939a57e8623088aef

sha512=01a58ac6d928afead21c8a97af5865715114cd0562234d1d4aef9e4ac5d91415d040a15927c52cb896dbb39a53e915627f498ebe2d026a548c3ff597682041b2

doc/goblint-cil.pta/Steensgaard/index.html

Module `Steensgaard`Source

Sourcetype lvalue

Sourcetype tau

Sourceval debug : bool ref

Sourceval debug_constraints : bool ref

Sourceval print_constraints : bool ref

Sourceval no_flow : bool ref

Sourceval no_sub : bool ref

Sourceval analyze_mono : bool ref

Sourceval solve_online : bool ref

Sourceval solve_constraints : unit -> unit

Sourceval rvalue : lvalue -> tau

Sourceval deref : tau -> lvalue

Sourceval join : tau -> tau -> tau

Sourceval join_inits : tau list -> tau

Sourceval address : lvalue -> tau

Sourceval instantiate : lvalue -> int -> lvalue

Sourceval assign : lvalue -> tau -> unit

Sourceval apply : tau -> tau list -> tau

Sourceval make_function : string -> lvalue list -> tau -> tau

Sourceval make_lvalue : bool -> string -> lvalue

Sourceval bottom : unit -> tau

Sourceval return : tau -> tau -> unit

Sourceval make_fresh : string -> tau

Sourceval points_to : lvalue -> string list

Sourceval string_of_lvalue : lvalue -> string

Sourceval global_lvalue : lvalue -> bool

Sourceval alias_query : bool -> lvalue list -> int * int