package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

package goblint-cil

goblint-cil
- Alpha
- Bitmap
- Cabs
- Cabs2cil
- Cabshelper
- Cabsvisit
  - cabsVisitor
  - nopCabsVisitor
- Cfg
- Check
- Cil
- Cilint
- Cillower
- Ciloptions
- Ciltools
- Cilutil
- Cilversion
- Clexer
- Clist
- Cparser
- Cprint
- Dataflow
- Dominators
- Errormsg
- Escape
- Expcompare
  - volatileFinderClass
- Feature
- Formatcil
- Formatlex
- Formatparse
- Frontc
- GrowArray
- Inthash
- Lexerhack
- Libmaincil
  - unrollVisitorClass
- Longarray
- Machdep
- Machdepenv
- Mergecil
- Patch
- Pretty
  - MakeMapPrinter
    
    Map
  - MakeSetPrinter
    
    Set
- Rmtmps
- Stats
- Trace
- Util
- Whitetrack
goblint-cil.dataslicing
- Dataslicing
goblint-cil.liveness
- Liveness
- Usedef
  - VS
  - useDefVisitorClass
goblint-cil.makecfg
- MakeCFG
  - callBBVisitor
  - vidVisitor
goblint-cil.pta
- Golf
- Olf
- Ptranal
- Setp
  - Make
    
    Ord
  - PolyOrderedType
  - S
- Steensgaard
- Uref
goblint-cil.syntacticsearch
goblint-cil.zrapp

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a visitAction =

| SkipChildren
| ChangeTo of 'a
| DoChildren
| ChangeDoChildrenPost of 'a * 'a -> 'a

type nameKind =

| NVar
(*
Variable or function prototype name
*)
| NFun
(*
Function definition name
*)
| NField
(*
The name of a field
*)
| NType
(*
The name of a type
*)

class type cabsVisitor = object ... end

class nopCabsVisitor : cabsVisitor

val visitCabsTypeSpecifier : 
  cabsVisitor ->
  Cabs.typeSpecifier ->
  Cabs.typeSpecifier

val visitCabsSpecifier : cabsVisitor -> Cabs.specifier -> Cabs.specifier

val visitCabsDeclType : cabsVisitor -> bool -> Cabs.decl_type -> Cabs.decl_type

Visits a decl_type. The bool argument is saying whether we are ina * function definition and thus the scope in a PROTO should extend until the * end of the function

val visitCabsDefinition : 
  cabsVisitor ->
  Cabs.definition ->
  Cabs.definition list

val visitCabsBlock : cabsVisitor -> Cabs.block -> Cabs.block

val visitCabsStatement : cabsVisitor -> Cabs.statement -> Cabs.statement list

val visitCabsExpression : cabsVisitor -> Cabs.expression -> Cabs.expression

val visitCabsAttributes : 
  cabsVisitor ->
  Cabs.attribute list ->
  Cabs.attribute list

val visitCabsName : 
  cabsVisitor ->
  nameKind ->
  Cabs.specifier ->
  Cabs.name ->
  Cabs.name

val visitCabsFile : cabsVisitor -> Cabs.file -> Cabs.file

val visitorLocation : Cabs.cabsloc ref

Set by the visitor to the current location