package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
val compute_pragmas : unit -> Frama_c_kernel.Cil_types.stmt list

Compute the impact analysis from the impact pragma in the program. Print and slice the results according to the parameters -impact-print and -impact-slice.

  • returns

    the impacted statements

Compute the impact analysis of the given statement.

  • returns

    the impacted statements

Compute the impact analysis of the given set of PDG nodes, that come from the given function.

  • returns

    the impacted nodes