package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

Dune Dependency

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

Authors

Maintainers

Sources

goblint-2.5.0.tbz

sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916

sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551

doc/goblint.incremental/CompareCFG/index.html

Module `CompareCFG`Source

Comparison of CFGs.

include module type of struct include CompareAST end

module StringMap = CompareAST.StringMap

Sourcetype method_rename_assumptions = GoblintCil.varinfo CilMaps.VarinfoMap.t

Sourcetype glob_var_rename_assumptions = GoblintCil.varinfo CilMaps.VarinfoMap.t

Source

type renamesOnSuccess =
  (GoblintCil.compinfo * GoblintCil.compinfo) list
  * (GoblintCil.enuminfo * GoblintCil.enuminfo) list

Source

type rename_mapping =
  string StringMap.t
  * method_rename_assumptions
  * glob_var_rename_assumptions
  * renamesOnSuccess

Source

val rename_mapping_aware_name_comparison : 
  string ->
  string ->
  rename_mapping ->
  bool

Source

val create_locals_rename_mapping : 
  string list ->
  string list ->
  string StringMap.t

Sourceval is_rename_mapping_empty : rename_mapping -> bool

Source

val (&&>>) : 
  (bool * rename_mapping) ->
  (rename_mapping:rename_mapping -> bool * rename_mapping) ->
  bool * rename_mapping

Sourceval (&&>) : (bool * rename_mapping) -> bool -> bool * rename_mapping

Source

val forward_list_equal : 
  ?propF:
    ((bool * rename_mapping) ->
      (rename_mapping:rename_mapping -> bool * rename_mapping) ->
      bool * rename_mapping) ->
  ('a -> 'b -> rename_mapping:rename_mapping -> bool * rename_mapping) ->
  'a list ->
  'b list ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Sourceval compare_name : string -> string -> bool

Source

val eq_constant : 
  rename_mapping:rename_mapping ->
  acc:(GoblintCil.typ * GoblintCil.typ) list ->
  GoblintCil.constant ->
  GoblintCil.constant ->
  bool * rename_mapping

Source

val eq_lhost : 
  GoblintCil.lhost ->
  GoblintCil.lhost ->
  rename_mapping:rename_mapping ->
  acc:(GoblintCil.typ * GoblintCil.typ) list ->
  bool * rename_mapping

Sourceval global_typ_acc : (GoblintCil.typ * GoblintCil.typ) list Stdlib.ref

Source

val mem_typ_acc : 
  GoblintCil.typ ->
  GoblintCil.typ ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  bool

Source

val pretty_length : 
  unit ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  GoblintCil.Pretty.doc

Source

val eq_typ_acc : 
  ?fun_parameter_name_comparison_enabled:bool ->
  GoblintCil.typ ->
  GoblintCil.typ ->
  rename_mapping:rename_mapping ->
  acc:(GoblintCil.typ * GoblintCil.typ) list ->
  bool * rename_mapping

Source

val eq_eitems : 
  (string * GoblintCil.attributes * GoblintCil.exp * GoblintCil.location) ->
  (string * GoblintCil.attributes * GoblintCil.exp * GoblintCil.location) ->
  rename_mapping:rename_mapping ->
  acc:(GoblintCil.typ * GoblintCil.typ) list ->
  bool * rename_mapping

Source

val eq_enuminfo : 
  GoblintCil.enuminfo ->
  GoblintCil.enuminfo ->
  rename_mapping:rename_mapping ->
  acc:(GoblintCil.typ * GoblintCil.typ) list ->
  bool * rename_mapping

Source

val eq_args : 
  ?fun_parameter_name_comparison_enabled:bool ->
  (string * GoblintCil.typ * GoblintCil.attributes) ->
  (string * GoblintCil.typ * GoblintCil.attributes) ->
  rename_mapping:rename_mapping ->
  acc:(GoblintCil.typ * GoblintCil.typ) list ->
  bool * rename_mapping

Source

val eq_attrparam : 
  GoblintCil.attrparam ->
  GoblintCil.attrparam ->
  rename_mapping:rename_mapping ->
  acc:(GoblintCil.typ * GoblintCil.typ) list ->
  bool * rename_mapping

Source

val eq_attribute : 
  GoblintCil.attribute ->
  GoblintCil.attribute ->
  acc:(GoblintCil.typ * GoblintCil.typ) list ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_compinfo : 
  GoblintCil.compinfo ->
  GoblintCil.compinfo ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  rename_mapping ->
  bool * rename_mapping

Source

val eq_fieldinfo : 
  GoblintCil.fieldinfo ->
  GoblintCil.fieldinfo ->
  acc:(GoblintCil.typ * GoblintCil.typ) list ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_typ : 
  ?fun_parameter_name_comparison_enabled:bool ->
  GoblintCil.typ ->
  GoblintCil.typ ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_exp : 
  GoblintCil.exp ->
  GoblintCil.exp ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_varinfo : 
  GoblintCil.varinfo ->
  GoblintCil.varinfo ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_lval : 
  GoblintCil.lval ->
  GoblintCil.lval ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_offset : 
  GoblintCil.offset ->
  GoblintCil.offset ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_instr : 
  GoblintCil.instr ->
  GoblintCil.instr ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Sourceval eq_label : GoblintCil.label -> GoblintCil.label -> bool

Source

val eq_stmt_with_location : 
  (GoblintCil.stmt * GoblintCil.fundec) ->
  (GoblintCil.stmt * GoblintCil.fundec) ->
  bool

Source

val eq_stmtkind : 
  ?cfg_comp:bool ->
  (GoblintCil.stmtkind * GoblintCil.fundec) ->
  (GoblintCil.stmtkind * GoblintCil.fundec) ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_stmt : 
  ?cfg_comp:bool ->
  (GoblintCil.stmt * GoblintCil.fundec) ->
  (GoblintCil.stmt * GoblintCil.fundec) ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_block : 
  (GoblintCil.Cil.block * GoblintCil.fundec) ->
  (GoblintCil.Cil.block * GoblintCil.fundec) ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_init : 
  GoblintCil.init ->
  GoblintCil.init ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_initinfo : 
  GoblintCil.initinfo ->
  GoblintCil.initinfo ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val (&&<>) : 
  (bool * rename_mapping) ->
  (rename_mapping:rename_mapping -> bool * rename_mapping) ->
  bool * rename_mapping

Source

val eq_node : 
  (MyCFG.node * GoblintCil.fundec) ->
  (MyCFG.node * GoblintCil.fundec) ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_edge : 
  MyCFG.edge ->
  MyCFG.edge ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Source

val eq_edge_list : 
  MyCFG.edge list ->
  MyCFG.edge list ->
  rename_mapping:rename_mapping ->
  bool * rename_mapping

Sourceval to_edge_list : ('a * 'b) list -> 'b list

module NH : sig ... end

Sourcetype biDirectionNodeMap = {

node1to2 : MyCFG.node NH.t;
node2to1 : MyCFG.node NH.t;

}

Source

val compareCfgs : 
  (module MyCFG.CfgForward) ->
  (module MyCFG.CfgForward) ->
  GoblintCil.fundec ->
  GoblintCil.fundec ->
  rename_mapping ->
  biDirectionNodeMap * unit NH.t * rename_mapping

Source

val reexamine : 
  'a ->
  CilType.Fundec.t ->
  biDirectionNodeMap ->
  unit NH.t ->
  (module MyCFG.CfgForward) ->
  (module MyCFG.CfgBidir) ->
  (NH.key * MyCFG.node) Stdlib.Seq.t * NH.key Stdlib.Seq.t

Source

val compareFun : 
  (module MyCFG.CfgForward) ->
  (module MyCFG.CfgBidir) ->
  GoblintCil.fundec ->
  GoblintCil.fundec ->
  rename_mapping ->
  (MyCFG.node * MyCFG.node) list * MyCFG.node list * rename_mapping

package goblint

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint.incremental/CompareCFG/index.html

Module CompareCFGSource

Module `CompareCFG`Source