package goblint-cil

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class Ciltools.attribute_checkerSource

inherit GoblintCil__.Cil.nopCilVisitor
method vtype : GoblintCil__.Cil.typ -> GoblintCil__.Cil.typ GoblintCil__.Cil.visitAction
method vattr : GoblintCil__.Cil.attribute -> GoblintCil__.Cil.attribute list GoblintCil__.Cil.visitAction
OCaml

Innovation. Community. Security.