package goblint
Static analysis framework for C
Install
Dune Dependency
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
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 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 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_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
module NH : sig ... end
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>