package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Given a Cfg, a Spec, and an Inc, computes the solution to MCP.Path

Parameters

Signature

module EQSys : sig ... end
module LHT : sig ... end
module GHT : sig ... end
module PostSolverArg : sig ... end
module Slvr : sig ... end
module Comp : sig ... end
module RT : sig ... end
module LT : sig ... end
module Result : sig ... end
module WResult : sig ... end
val print_dead_code : Result.t -> int -> Node.t -> bool
val solver2source_result : Spec.D.t LHT.t -> Result.t
val analyze : Cil.file -> Analyses.fundecs -> unit

The main function to preform the selected analyses.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct