package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

package goblint-cil

goblint-cil
- Library goblint-cil
  - Alpha
  - Bitmap
  - Cabs
  - Cabs2cil
  - Cabshelper
  - Cabsvisit
    
    cabsVisitor
    
    nopCabsVisitor
  - Cfg
  - Check
  - Cil
    
    cilVisitor
    
    nopCilVisitor
    
    cilPrinter
    
    defaultCilPrinterClass
    
    plainCilPrinterClass
    
    descriptiveCilPrinter
    
    descriptiveCilPrinterClass
  - Cilint
  - Cillower
  - Ciloptions
  - Ciltools
    
    attribute_checker
    
    callBBVisitor
    
    vidVisitor
    
    sidVisitor
  - Cilutil
  - Cilversion
  - Clexer
  - Clist
  - Cparser
  - Cprint
  - Dataflow
    
    ForwardsTransfer
    
    ForwardsDataFlow
    
    BackwardsTransfer
    
    BackwardsDataFlow
  - Dominators
  - Errormsg
  - Escape
  - Expcompare
    
    E
    
    volatileFinderClass
  - Feature
  - Formatcil
  - Formatlex
    
    H
    
    E
  - Formatparse
  - Frontc
  - GrowArray
  - Inthash
  - Lexerhack
    
    E
  - Libmaincil
    
    E
    
    unrollVisitorClass
  - Longarray
  - Machdep
  - Machdepenv
    
    R
    
    L
    
    H
  - Mergecil
  - Patch
  - Pretty
    
    MakeMapPrinter
    
    MakeSetPrinter
  - Rmtmps
  - Stats
  - Trace
  - Util
  - Whitetrack
- Library goblint-cil.dataslicing
  - Dataslicing
- Library goblint-cil.liveness
  - Liveness
    
    DF
    
    UD
    
    IH
    
    E
    
    VS
    
    LiveFlow
    
    L
    
    nullAdderClass
    
    livenessVisitorClass
    
    deadnessVisitorClass
    
    doFeatureClass
  - Usedef
    
    E
    
    VS
    
    useDefVisitorClass
- Library goblint-cil.makecfg
  - MakeCFG
    
    callBBVisitor
    
    vidVisitor
- Library goblint-cil.pta
  - Golf
  - Olf
  - Ptranal
  - Setp
    
    PolyOrderedType
    
    S
    
    Make
  - Steensgaard
  - Uref
- Library goblint-cil.syntacticsearch
- Library goblint-cil.zrapp
  - Availexps
    
    E
    
    DF
    
    UD
    
    IH
    
    U
    
    S
    
    memReadOrAddrOfFinderClass
    
    viFinderClass
    
    lvalFinderClass
    
    volatileFinderClass
    
    AvailableExps
    
    AE
    
    varHashMakerClass
    
    aeVisitorClass
  - Availexpslv
    
    E
    
    DF
    
    UD
    
    IH
    
    H
    
    U
    
    S
    
    LvExpHash
    
    memReadOrAddrOfFinderClass
    
    viFinderClass
    
    lvalFinderClass
    
    volatileFinderClass
    
    addrOfOrGlobalFinderClass
    
    AvailableExps
    
    AE
    
    aeVisitorClass
  - Deadcodeelim
    
    E
    
    RD
    
    UD
    
    IH
    
    S
    
    IS
    
    usedDefsCollectorClass
    
    hasVolatile
    
    uselessInstrElim
    
    deadCodeElimClass
  - Reachingdefs
    
    E
    
    DF
    
    UD
    
    L
    
    IH
    
    U
    
    S
    
    IOS
    
    ReachingDef
    
    RD
    
    rdVisitorClass
  - Rmciltmps
    
    E
    
    RD
    
    AELV
    
    UD
    
    IH
    
    S
    
    IS
    
    memReadOrAddrOfFinderClass
    
    stmtFinderClass
    
    defCollectorClass
    
    useListerClass
    
    expTempElimClass
    
    expLvTmpElimClass
    
    incdecTempElimClass
    
    callTempElimClass
    
    unusedRemoverClass
    
    removeBrackets
  - Zrapp
    
    zraCilPrinterClass
- Sources
  - goblint-cil
    
    cfg.ml
    
    check.ml
    
    cil.ml
    
    cilint.ml
    
    cillower.ml
    
    ciloptions.ml
    
    ciltools.ml
    
    cilutil.ml
    
    cilversion.ml
    
    dataflow.ml
    
    dominators.ml
    
    escape.ml
    
    expcompare.ml
    
    feature.ml
    
    formatcil.ml
    
    formatlex.ml
    
    formatparse.ml
    
    libmaincil.ml
    
    machdep.ml
    
    machdepenv.ml
    
    mergecil.ml
    
    rmtmps.ml
  - goblint-cil.dataslicing
    
    dataslicing.ml
  - goblint-cil.liveness
    
    liveness.ml
    
    usedef.ml
  - goblint-cil.makecfg
    
    makeCFG.ml
  - goblint-cil.pta
    
    golf.ml
    
    olf.ml
    
    ptranal.ml
    
    setp.ml
    
    steensgaard.ml
    
    uref.ml
  - goblint-cil.syntacticsearch
    
    codeQuery.ml
    
    funcDatatype.ml
    
    funcFunction.ml
    
    funcVar.ml
    
    queryMapping.ml
    
    resultPrinter.ml
  - goblint-cil.zrapp
    
    availexps.ml
    
    availexpslv.ml
    
    deadcodeelim.ml
    
    reachingdefs.ml
    
    rmciltmps.ml
    
    zrapp.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Check`Source

Sourcetype checkFlags =

| NoCheckGlobalIds
| IgnoreInstructions of Cil.instr -> bool
(*
Ignore the specified instructions
*)

Sourceval checkFile : checkFlags list -> Cil.file -> bool