package goblint-cil

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module CiltoolsSource

Sourceval isOne : Cil.exp -> bool
Sourceval is_volatile_tp : Cil.typ -> bool
Sourceval is_volatile_vi : Cil.varinfo -> bool
Sourcetype sign =
  1. | Signed
  2. | Unsigned
Sourceexception Not_an_integer
Sourceval unbox_int_type : Cil.typ -> int * sign
Sourceexception Weird_bitwidth
Sourceval ocaml_int_to_cil : int64 -> int -> sign -> Cil.exp
Sourceval isCompositeType : Cil.typ -> bool
Sourceval visited : string list ref

START OF deepHasAttribute ***********************************************

Sourceclass attribute_checker : string -> bool ref -> object ... end
Sourceval deepHasAttribute : string -> Cil.typ -> bool

END OF deepHasAttribute *************************************************

Stuff from ptranal, slightly modified ***********************************

Sourceclass callBBVisitor : object ... end
Sourceval one_instruction_per_statement : Cil.file -> unit
Sourceclass vidVisitor : object ... end
Sourceval globally_unique_vids : Cil.file -> unit

End of stuff from ptranal ***********************************************

Sourceclass sidVisitor : object ... end
Sourceval globally_unique_sids : Cil.file -> unit

Comparing expressions without a Out_of_memory error *********************

Sourceval compare_exp : 'a -> 'a -> int
OCaml

Innovation. Community. Security.