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-31.0-Gallium.tar.gz

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

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

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