package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install 

dune-project
 Dependency

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

Authors

  1. S
    Simmo Saan
  2. M
    Michael Schwarz
  3. J
    Julian Erhard
  4. S
    Sarah Tilscher
  5. K
    Karoliine Holter
  6. R
    Ralf Vogler
  7. K
    Kalmer Apinis
  8. V
    Vesal Vojdani

Maintainers

  1. S
    Simmo Saan <simmo.saan@gmail.com>
  2. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  3. K
    Karoliine Holter <karoliine.holter@ut.ee>

Sources

goblint-2.6.0.tbz
sha256=20d5b7332a9f6072ab9ba86c4a53b898eaf681286c56a8805c41850bbf3ddf41
sha512=7c7685cfcd9aa866bc40e813df2bfcb3c79b3d40e615d8d6d0939c5798b9d70dd7f2ba87a741f5ba0ce891e9d254627207fb28057f1f2f6611e4e0d128fd6a71

doc/goblint.incremental/CompareAST/index.html

Module CompareASTSource

Comparison of CIL ASTs.

Sourcemodule StringMap : sig ... end
Sourcetype method_rename_assumptions = GoblintCil.varinfo CilMaps.VarinfoMap.t
Sourcetype glob_var_rename_assumptions = GoblintCil.varinfo CilMaps.VarinfoMap.t
Sourceval rename_mapping_aware_name_comparison : string -> string -> rename_mapping -> bool
Sourceval create_locals_rename_mapping : string list -> string list -> string StringMap.t
Sourceval is_rename_mapping_empty : rename_mapping -> bool
Sourceval (&&>>) : (bool * rename_mapping) -> (rename_mapping:rename_mapping -> bool * rename_mapping) -> bool * rename_mapping
Sourceval (&&>) : (bool * rename_mapping) -> bool -> bool * rename_mapping
Sourceval 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
Sourceval eq_constant : rename_mapping:rename_mapping -> acc:(GoblintCil.typ * GoblintCil.typ) list -> GoblintCil.constant -> GoblintCil.constant -> bool * rename_mapping
Sourceval 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 ref
Sourceval mem_typ_acc : GoblintCil.typ -> GoblintCil.typ -> (GoblintCil.typ * GoblintCil.typ) list -> bool
Sourceval pretty_length : unit -> (GoblintCil.typ * GoblintCil.typ) list -> GoblintCil.Pretty.doc
Sourceval 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
Sourceval eq_enuminfo : GoblintCil.enuminfo -> GoblintCil.enuminfo -> rename_mapping:rename_mapping -> acc:(GoblintCil.typ * GoblintCil.typ) list -> bool * rename_mapping
Sourceval 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
Sourceval eq_attrparam : GoblintCil.attrparam -> GoblintCil.attrparam -> rename_mapping:rename_mapping -> acc:(GoblintCil.typ * GoblintCil.typ) list -> bool * rename_mapping
Sourceval eq_attribute : GoblintCil.attribute -> GoblintCil.attribute -> acc:(GoblintCil.typ * GoblintCil.typ) list -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_fieldinfo : GoblintCil.fieldinfo -> GoblintCil.fieldinfo -> acc:(GoblintCil.typ * GoblintCil.typ) list -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_typ : ?fun_parameter_name_comparison_enabled:bool -> GoblintCil.typ -> GoblintCil.typ -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_exp : GoblintCil.exp -> GoblintCil.exp -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_varinfo : GoblintCil.varinfo -> GoblintCil.varinfo -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_lval : GoblintCil.lval -> GoblintCil.lval -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_offset : GoblintCil.offset -> GoblintCil.offset -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_instr : GoblintCil.instr -> GoblintCil.instr -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_label : GoblintCil.label -> GoblintCil.label -> bool
Sourceval eq_stmt_with_location : (GoblintCil.stmt * GoblintCil.fundec) -> (GoblintCil.stmt * GoblintCil.fundec) -> bool
Sourceval eq_stmtkind : ?cfg_comp:bool -> (GoblintCil.stmtkind * GoblintCil.fundec) -> (GoblintCil.stmtkind * GoblintCil.fundec) -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_stmt : ?cfg_comp:bool -> (GoblintCil.stmt * GoblintCil.fundec) -> (GoblintCil.stmt * GoblintCil.fundec) -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_init : GoblintCil.init -> GoblintCil.init -> rename_mapping:rename_mapping -> bool * rename_mapping
Sourceval eq_initinfo : GoblintCil.initinfo -> GoblintCil.initinfo -> rename_mapping:rename_mapping -> bool * rename_mapping