package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'t action =
  1. | Default
  2. | Done of 't
  3. | Post of 't -> 't
type !'t stmtaction =
  1. | SDefault
  2. | SDone
  3. | SUse of 't
type !'t guardaction =
  1. | GDefault
  2. | GUse of 't
  3. | GUnreachable
module type ForwardsTransfer = sig ... end
module ForwardsDataFlow (T : ForwardsTransfer) : sig ... end
module type BackwardsTransfer = sig ... end
module BackwardsDataFlow (T : BackwardsTransfer) : sig ... end
val find_stmts : Cil.fundec -> Cil.stmt list * Cil.stmt list