package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-27.1-Cobalt.tar.gz

sha256=5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2

doc/frama-c.kernel/Frama_c_kernel/Visitor_behavior/Reset/index.html

Module `Visitor_behavior.Reset`

Reset operations on behaviors, allows to reset the tables associated to a given kind of AST elements. If you use fresh instances of visitor for each round of transformation, you should not need this module. In place modifications do not need this at all.

Reset.ast_element vis resets the tables associated to the considered type of AST elements in vis. For example for Cil_types.varinfo: Reset.varinfo vis.

since 20.0-Calcium

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf
Plug-in Development Guide

val varinfo : t -> unit

val compinfo : t -> unit

val enuminfo : t -> unit

val enumitem : t -> unit

val typeinfo : t -> unit

val stmt : t -> unit

val logic_info : t -> unit

val logic_type_info : t -> unit

val fieldinfo : t -> unit

val model_info : t -> unit

val logic_var : t -> unit

val kernel_function : t -> unit

val fundec : t -> unit