package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

package goblint-cil

cil
- Alpha
- Bitmap
- Cabs
- Cabs2cil
- Cabshelper
- Cabsvisit
  - cabsVisitor
  - nopCabsVisitor
- Cfg
- Check
- Cil
- Cilint
- Cillower
- Ciloptions
- Cilutil
- Cilversion
- Clexer
- Clist
- Cparser
- Cprint
- Dataflow
- Dominators
- Errormsg
- Escape
- Expcompare
  - volatileFinderClass
- Feature
- Formatcil
- Formatlex
- Formatparse
- Frontc
- GrowArray
- Inthash
- Lexerhack
- Longarray
- Machdep
- Machdepenv
- Mergecil
- Patch
- Pretty
  - MakeMapPrinter
    
    Map
  - MakeSetPrinter
    
    Set
- Rmtmps
- Stats
- Trace
- Util
- Whitetrack
cil.blockinggraph
- Blockinggraph
cil.callgraph
- Callgraph
cil.canonicalize
- Canonicalize
cil.ccl
- Ccl
cil.cqualann
- Cqualann
cil.dataslicing
- Dataslicing
cil.epicenter
- Epicenter
cil.heapify
- Heapify
cil.inliner
- Inliner
  - copyBodyVisitor
cil.liveness
- Liveness
- Usedef
  - VS
  - useDefVisitorClass
cil.llvm
cil.logcalls
- Logcalls
cil.logwrites
- Logwrites
  - logWriteVisitor
cil.oneret
- Oneret
cil.partial
- Heap
- Partial
  - AliasInfo
  - CallGraph
  - CallGraph'
  - EasyAlias
  - EasyCallGraph
    
    A
    
    callGraphVisitor
  - MakePartial
    
    A
    
    C
    
    LabelSet
    
    S
  - NeculaFolding
    
    A
    
    IntMap
    
    findLval
    
    rewriteExpClass
  - PartialAlgorithm
  - PtranalAlias
  - Symex
  - callBBVisitor
  - globalConstVisitor
  - vidVisitor
cil.pta
- Golf
- Olf
- Ptranal
- Setp
  - Make
    
    Ord
  - PolyOrderedType
  - S
- Steensgaard
- Uref
cil.sfi
- Sfi
  - sfiVisitorClass
cil.simplemem
- Simplemem
  - simpleVisitor
cil.simplify
- Simplify
cil.zrapp

Legend:
Library
Module
Module type
Parameter
Class
Class type

val logChannel : out_channel ref

val debugFlag : bool ref

val verboseFlag : bool ref

val colorFlag : bool ref

val redEscStr : string

val greenEscStr : string

val yellowEscStr : string

val blueEscStr : string

val purpleEscStr : string

val cyanEscStr : string

val whiteEscStr : string

val resetEscStr : string

val warnFlag : bool ref

exception Error

val error : ('a, unit, Pretty.doc, unit) format4 -> 'a

val bug : ('a, unit, Pretty.doc, unit) format4 -> 'a

val unimp : ('a, unit, Pretty.doc, unit) format4 -> 'a

val s : 'a -> 'b

val hadErrors : bool ref

val warn : ('a, unit, Pretty.doc, unit) format4 -> 'a

val warnOpt : ('a, unit, Pretty.doc, unit) format4 -> 'a

val log : ('a, unit, Pretty.doc, unit) format4 -> 'a

val logg : ('a, unit, Pretty.doc, unit) format4 -> 'a

val null : ('a, unit, Pretty.doc, unit) format4 -> 'a

val pushContext : (unit -> Pretty.doc) -> unit

val popContext : unit -> unit

val showContext : unit -> unit

val withContext : (unit -> Pretty.doc) -> ('a -> 'b) -> 'a -> 'b

val newline : unit -> unit

val newHline : unit -> unit

val getPosition : unit -> int * string * int

val getHPosition : unit -> int * string

val setHLine : int -> unit

val setHFile : string -> unit

val setCurrentLine : int -> unit

val setCurrentFile : string -> unit

type location = {

file : string;
line : int;
hfile : string;
hline : int;

}

val d_loc : unit -> location -> Pretty.doc

val d_hloc : unit -> location -> Pretty.doc

val getLocation : unit -> location

val parse_error : string -> 'a

val locUnknown : location

val readingFromStdin : bool ref

val startParsing : ?useBasename:bool -> string -> Lexing.lexbuf

val startParsingFromString : 
  ?file:string ->
  ?line:int ->
  string ->
  Lexing.lexbuf

val finishParsing : unit -> unit