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.0.1.tbz

sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de

sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd

doc/goblint.lib/Goblint_lib/CompareCFG/index.html

Module `Goblint_lib.CompareCFG`

include module type of struct include CompareAST end

type global_type = CompareAST.global_type =

| Fun
| Decl
| Var

and global_identifier = CompareAST.global_identifier = {

name : string;
global_t : global_type;

}

val compare_global_type : 
  global_type ->
  global_type ->
  Ppx_deriving_runtime.int

val compare_global_identifier : 
  global_identifier ->
  global_identifier ->
  Ppx_deriving_runtime.int

module StringMap = CompareAST.StringMap

type method_rename_assumption = CompareAST.method_rename_assumption = {

original_method_name : string;
new_method_name : string;
parameter_renames : string StringMap.t;

}

type method_rename_assumptions = method_rename_assumption CilMaps.VarinfoMap.t

type rename_mapping = string StringMap.t * method_rename_assumptions

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

val rename_mapping_to_string : rename_mapping -> string

val identifier_of_global : GoblintCil.global -> global_identifier

module GlobalMap = CompareAST.GlobalMap

val compare_name : string -> string -> bool

val eq_constant : 
  rename_mapping ->
  GoblintCil.constant ->
  GoblintCil.constant ->
  bool

val eq_exp2 : rename_mapping -> GoblintCil.exp -> GoblintCil.exp -> bool

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

val eq_lhost : GoblintCil.lhost -> GoblintCil.lhost -> rename_mapping -> bool

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

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

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

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

val eq_typ : GoblintCil.typ -> GoblintCil.typ -> rename_mapping -> bool

val eq_eitems : 
  rename_mapping ->
  (string * GoblintCil.exp * GoblintCil.location) BatOrd.eq

val eq_enuminfo : 
  GoblintCil.enuminfo ->
  GoblintCil.enuminfo ->
  rename_mapping ->
  bool

val eq_args : 
  rename_mapping ->
  (GoblintCil.typ * GoblintCil.typ) list ->
  (string * GoblintCil.typ * GoblintCil.attributes) BatOrd.eq

val eq_attrparam : rename_mapping -> GoblintCil.attrparam BatOrd.eq

val eq_attribute : rename_mapping -> GoblintCil.attribute BatOrd.eq

val eq_varinfo2 : 
  rename_mapping ->
  GoblintCil.varinfo ->
  GoblintCil.varinfo ->
  bool

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

module NH : sig ... end

type biDirectionNodeMap = {

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

}

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

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

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