package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct