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=b09009442e27c51e61653ca0104069097bfcb7943457478fd5a153cdda9cbc09

sha512=0f89d8920a35daa9213d7c407d1e1d89d820df9d6da1878335209e166aad68b2a377134ab08bb74499b40d13a7b758959b225b01e067d6e609da5295913e2af7

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