package goblint
Static analysis framework for C
Install
dune-project
Dependency
Authors
Maintainers
Sources
goblint-2.2.1.tbz
sha256=ca24f72fa9a87d288affe97c411753f14b7802bab4ca3649b337276b89bf5674
sha512=394b3521ccda0da91540cebb2f433f7525763060be4bbe179edd3b952a3580a8e173c4e410fc6895dc67fe6d17e6699aeddfed600f4692858bec093dd912bf1e
doc/goblint.lib/Goblint_lib/Violation/index.html
Module Goblint_lib.Violation
Violation checking in an ARG.
module type ViolationArg = sig ... endval find_sinks :
(module ViolationArg with type Node.t = 'node) ->
'node ->
boolmodule type Feasibility = sig ... endmodule UnknownFeasibility
(Node : MyARG.Node) :
Feasibility with module Node = Nodemodule type PathArg = MyARG.S with module Edge = MyARG.InlineEdgetype 'node result = | Feasible of (module PathArg with type Node.t = 'node)| Infeasible of ('node * MyARG.inline_edge * 'node) list| Unknown
val find_path :
(module ViolationArg with type Node.t = 'node) ->
(module Feasibility with type Node.t = 'node) ->
'node result