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

sha256=5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2

The APIs of this module are not stabilized yet, and are subject to change between Frama-C versions.

val eval_predicate : 
  (pre:state ->
    here:state ->
    Cil_types.predicate ->
    Property_status.emitted_status)
    ref

Evaluate the given predicate in the given states for the Pre and Here ACSL labels.

On This Page