package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141

sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

method queueInstr : instr list -> unit

method unqueueInstr : unit -> instr list

method vattr : attribute -> attribute list visitAction

method vattrparam : attrparam -> attrparam visitAction

method vblock : block -> block visitAction

method vexpr : exp -> exp visitAction

method vfunc : fundec -> fundec visitAction

method vglob : global -> global list visitAction

method vinit : varinfo -> offset -> init -> init visitAction

method vinitoffs : offset -> offset visitAction

method vinst : instr -> instr list visitAction

method vlval : lval -> lval visitAction

method voffs : offset -> offset visitAction

method vstmt : stmt -> stmt visitAction

method vtype : typ -> typ visitAction

method vvdec : varinfo -> varinfo visitAction

method vvrbl : varinfo -> varinfo visitAction