package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Interface for the occurrence plugin.

Return the occurrences of the given varinfo. An occurrence ki, lv is a left-value lv which uses the location of vi at the position ki.

val print_all : unit -> unit

Print all the occurrence of each variable declarations.

type access_type =
  1. | Read
  2. | Write
  3. | Both