package frama-c

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

Module Server_api.Taint_requestsSource

Taint status: untainted, direct taint, indirect taint or error.

Sourceval register_hook : (unit -> unit) -> unit

Registers a hook applied each time some taint status may change.

Taint status of a logic property.