package goblint-cil

You can search for identifiers within the package.

in-package search v0.2.0

A front-end for the C programming language that facilitates program analysis and transformation

Install

dune-project

Dependency

sha256=b8f33cf1e3d455ff3db273e8e6e1609fe30873f12b5b68a5173311dc6a0a0bd7

sha512=c279eacac4f766e19b158b1b7c10f92bcaca924634fde4bd88e8f806f33c8f2b401852ab68d2fe5a2ef3f5fe2912f7009104ff99dd43086c91fde5ca7047ad6b

inherit GoblintCil.nopCilVisitor

method vstmt : GoblintCil.stmt -> GoblintCil.stmt GoblintCil.visitAction

method vvdec : GoblintCil.varinfo -> GoblintCil.varinfo GoblintCil.visitAction

method vexpr : GoblintCil.exp -> GoblintCil.exp GoblintCil.visitAction

method vlval : GoblintCil.lval -> GoblintCil.lval GoblintCil.visitAction

method vtype : GoblintCil.typ -> GoblintCil.typ GoblintCil.visitAction