package frama-c

  1. Overview
  2. Docs
On This Page
  1. Internal use only

Module Security_slicingSource

Security slicing.

No function is directly exported: they are dynamically registered.

Internal use only

Sourcemodule Components : sig ... end

Security slicing.