package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

dune-project

Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (9)

Authors

Maintainers

Sources

goblint-2.6.0.tbz

sha256=20d5b7332a9f6072ab9ba86c4a53b898eaf681286c56a8805c41850bbf3ddf41

sha512=7c7685cfcd9aa866bc40e813df2bfcb3c79b3d40e615d8d6d0939c5798b9d70dd7f2ba87a741f5ba0ce891e9d254627207fb28057f1f2f6611e4e0d128fd6a71

doc/goblint.lib/Goblint_lib/DuplicateVars/index.html

Module `Goblint_lib.DuplicateVars`

Used by C2poDomain and StartStateAnalysis. Contains functions to duplicate variables in order to have shadow variables for each function parameter, that can be used to remeber the initial value of these parameters. It uses RichVarinfo to create the duplicated variables.

module M = Messages

module VarType : sig ... end

Variable Type used by the C-2PO Analysis. It contains normal variables with a varinfo as well as auxiliary variables for assignment and return and duplicated variables for remembering the value of variables at the beginning of a function.

module VarVarinfoMap : sig ... end

module Var : sig ... end