Module Rewrite


module Rewrite: sig .. end

class add_default_behavior : object .. end
val add_default_behavior : Cil_types.file -> unit
class renameEntities : (Cil_types.varinfo -> unit) -> (Cil_types.logic_var -> unit) -> object .. end
val logic_names_overloading : (Logic_env.LogicInfo.key, bool Pervasives.ref) Hashtbl.t
val rename_entities : Cil_types.file -> unit
class fillOffsetSizeInFields : object .. end
val fill_offset_size_in_fields : Cil_types.file -> unit
class replaceAddrofArray : object .. end
val replace_addrof_array : Cil_types.file -> unit
class replaceStringConstants : object .. end
val replace_string_constants : Cil_types.file -> unit
val gather_initialization : Cil_types.file -> unit
class rewritePointerCompare : object .. end
val rewrite_pointer_compare : Cil_types.file -> unit
val destruct_pointer : Cil_types.exp -> (Cil_types.varinfo * Cil_types.exp option) option
class collectCursorPointers : Cilutil.VarinfoComparable.t Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoComparable.t Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoSet.t Pervasives.ref -> Cilutil.VarinfoSet.t Pervasives.ref -> object .. end
class rewriteCursorPointers : Cilutil.VarinfoHashtbl.key Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoHashtbl.key Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoSet.t -> object .. end
val rewrite_cursor_pointers : Cil_types.file -> unit
val destruct_integer : Cil_types.exp -> (Cil_types.varinfo * Cil_types.exp option) option
class collectCursorIntegers : Cilutil.VarinfoComparable.t Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoSet.t Pervasives.ref -> Cilutil.VarinfoSet.t Pervasives.ref -> object .. end
class rewriteCursorIntegers : Cil_types.varinfo Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoSet.t -> object .. end
val rewrite_cursor_integers : Cil_types.file -> unit
class annotateCodeStrlen : Cil_types.logic_info -> object .. end
val annotate_code_strlen : Cil_types.file -> unit
class annotateOverflow : object .. end
val annotate_overflow : Cil_types.file -> unit
class rewriteVoidPointer : object .. end
class debugVoid : object .. end
val rewrite_void_pointer : Cil_types.file -> unit
val rewrite : Cil_types.file -> unit