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
  - GoblintCil
    
    cilVisitor
    
    nopCilVisitor
    
    cilPrinter
    
    defaultCilPrinterClass
    
    plainCilPrinterClass
    
    descriptiveCilPrinter
    
    descriptiveCilPrinterClass
    
    Cfg
    
    Check
    
    Cil
    
    cilVisitor
    
    nopCilVisitor
    
    cilPrinter
    
    defaultCilPrinterClass
    
    plainCilPrinterClass
    
    descriptiveCilPrinter
    
    descriptiveCilPrinterClass
    
    Cilint
    
    Cillower
    
    Ciltools
    
    attribute_checker
    
    callBBVisitor
    
    vidVisitor
    
    sidVisitor
    
    Cilutil
    
    Dataflow
    
    ForwardsTransfer
    
    ForwardsDataFlow
    
    BackwardsTransfer
    
    BackwardsDataFlow
    
    Dominators
    
    Escape
    
    Expcompare
    
    E
    
    volatileFinderClass
    
    Feature
    
    Formatcil
    
    Machdep
    
    Machdepenv
    
    R
    
    L
    
    H
    
    Mergecil
    
    RmUnused
    
    Cabs
    
    Cabs2cil
    
    Cabshelper
    
    Cabsvisit
    
    cabsVisitor
    
    nopCabsVisitor
    
    Cprint
    
    Frontc
    
    Patch
    
    Whitetrack
    
    Alpha
    
    Errormsg
    
    GrowArray
    
    Inthash
    
    Pretty
    
    MakeMapPrinter
    
    MakeSetPrinter
    
    Stats
    
    Trace
    
    Util
- Library goblint-cil.dataslicing
  - Dataslicing
- Library goblint-cil.liveness
  - Liveness
    
    Usedef
    
    E
    
    VS
    
    useDefVisitorClass
    
    DF
    
    UD
    
    IH
    
    E
    
    VS
    
    LiveFlow
    
    L
    
    nullAdderClass
    
    livenessVisitorClass
    
    deadnessVisitorClass
    
    doFeatureClass
- Library goblint-cil.makecfg
  - Makecfg
    
    MakeCFG
    
    callBBVisitor
    
    vidVisitor
- Library goblint-cil.pta
  - Ptranal
- Library goblint-cil.syntacticsearch
  - Syntacticsearch
    
    CodeQuery
    
    Result
    
    FuncDatatype
    
    FuncFunction
    
    fun_find_returns
    
    fun_find_sig
    
    fun_find_uses
    
    fun_find_uses_in_fun
    
    fun_find_usesvar_in_fun
    
    find_calls_with_tmp
    
    find_calls_usesvar_with_tmp
    
    FuncVar
    
    var_search_in_expr
    
    var_find_def_in_fun
    
    QueryMapping
    
    ResultPrinter
- Library goblint-cil.zrapp
  - Zrapp
    
    zraCilPrinterClass
- Sources
  - goblint-cil
    
    cfg.ml
    
    check.ml
    
    cil.ml
    
    cilint.ml
    
    cillower.ml
    
    ciltools.ml
    
    cilutil.ml
    
    cilversion.ml
    
    dataflow.ml
    
    dominators.ml
    
    escape.ml
    
    expcompare.ml
    
    feature.ml
    
    formatcil.ml
    
    formatlex.ml
    
    formatparse.ml
    
    goblintCil.ml
    
    goblintCil__.ml
    
    machdep.ml
    
    machdepenv.ml
    
    mergecil.ml
    
    rmUnused.ml
  - goblint-cil.dataslicing
    
    dataslicing.ml
  - goblint-cil.liveness
    
    liveness.ml
    
    liveness__.ml
    
    usedef.ml
  - goblint-cil.makecfg
    
    makeCFG.ml
    
    makecfg.ml
  - goblint-cil.pta
    
    golf.ml
    
    olf.ml
    
    ptranal.ml
    
    ptranal__.ml
    
    setp.ml
    
    steensgaard.ml
    
    uref.ml
  - goblint-cil.syntacticsearch
    
    codeQuery.ml
    
    funcDatatype.ml
    
    funcFunction.ml
    
    funcVar.ml
    
    queryMapping.ml
    
    resultPrinter.ml
    
    syntacticsearch.ml
  - goblint-cil.zrapp
    
    availexps.ml
    
    availexpslv.ml
    
    deadcodeelim.ml
    
    reachingdefs.ml
    
    rmciltmps.ml
    
    zrapp.ml
    
    zrapp__.ml

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

Module `Zrapp`Source

Sourceval debug : bool ref

Sourceval doElimTemps : bool ref

Sourceval deputyAttrs : bool ref

Sourceclass zraCilPrinterClass : GoblintCil.Cil.cilPrinter

Sourceval zraCilPrinter : GoblintCil.Cil.cilPrinter

Source

val pp_exp : 
  GoblintCil.Cil.fundec ->
  unit ->
  GoblintCil.Cil.exp ->
  GoblintCil.Pretty.doc

Sourceval feature : GoblintCil.Feature.t

package goblint-cil

Module ZrappSource

Module `Zrapp`Source