package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.3.0.tbz
sha256=b729c94adb383a39aea32eb005c988dfd44b92af22ee6a4eedf4239542ac6c26
sha512=643b98770e5fe5644324c95c9ae3a9f698f25c8b11b298f0751d524e0b20af368b2a465fc8200b75a73d48fc9a053fd90f5e8920d4db070927f93188bb8687e0
doc/goblint.common/MyCFG/index.html
Module MyCFG
Control-flow graph.
Distinct from CIL's CFG.
type node = Node.t = | Statement of CilType.Stmt.t| FunctionEntry of CilType.Fundec.t| Function of CilType.Fundec.t
Re-exported Node.t with constructors. See Node.t for documentation.
type edge = Edge.t = | Assign of CilType.Lval.t * CilType.Exp.t| Proc of CilType.Lval.t option * CilType.Exp.t * CilType.Exp.t list| Entry of CilType.Fundec.t| Ret of CilType.Exp.t option * CilType.Fundec.t| Test of CilType.Exp.t * bool| ASM of string list * Edge.asm_out * Edge.asm_in| VDecl of CilType.Varinfo.t| Skip
Re-exported Edge.t with constructors. See Edge.t for documentation.
type edges = (CilType.Location.t * Edge.t) listval equal_edges : edges -> edges -> Ppx_deriving_runtime.boolval hash_edges : edges -> intmodule type CfgBackward = sig ... endmodule type CfgForward = sig ... endmodule type CfgBidir = sig ... endmodule NodeH : sig ... endval current_node : Node.t option Stdlib.refval current_cfg : (module CfgBidir) Stdlib.refval unknown_exp : GoblintCil.expval dummy_func : GoblintCil.fundecval dummy_node : nodemodule type FileCfg = sig ... end