package frama-c

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

Propagate constant into the functions given by name. note: the propagation is performed into all functions when the set is empty; and casts can be introduced when cast_intro is true.

val compute : unit -> unit

Propagate constant into the functions given by the parameters (in the same way that get. Then pretty print the resulting program.

  • since Beryllium-20090901

Internal state of the constant propagation plugin.