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