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

sha256=ca24f72fa9a87d288affe97c411753f14b7802bab4ca3649b337276b89bf5674

sha512=394b3521ccda0da91540cebb2f433f7525763060be4bbe179edd3b952a3580a8e173c4e410fc6895dc67fe6d17e6699aeddfed600f4692858bec093dd912bf1e

Thread-modular value analysis utilities for BasePriv and RelationPriv.

module Q = Queries

module IdxDom = ValueDomain.IndexDomain

module VD = ValueDomain.Compound

module ConfCheck : sig ... end

module Protection : sig ... end

module MutexGlobals : sig ... end

module MayVars : sig ... end

module MustVars : sig ... end

module Locksets : sig ... end

module WriteCenteredD : sig ... end

module type PerMutexTidCommonArg = sig ... end

module PerMutexTidCommon
  (Conf : PerMutexTidCommonArg)
  (LD : Lattice.S) : 
  sig ... end