package cil

  1. Overview
  2. Docs
package cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
module E = Errormsg
module P = Ptranal
module DF = Dataflow
module IH = Inthash
module H = Hashtbl
module U = Util
module S = Stats
val debug : bool Pervasives.ref
val collectPredicates : (Cil.fundec -> Cil.exp list) Pervasives.ref
val ignoreInstruction : (Cil.instr -> bool) Pervasives.ref
val instrHasNoSideEffects : (Cil.instr -> bool) Pervasives.ref
val getPredsFromInstr : (Cil.instr -> Cil.exp list) Pervasives.ref
module ExpIntHash : sig ... end
module type TRANSLATOR = sig ... end
module type SOLVER = sig ... end
module Solver (T : TRANSLATOR) : sig ... end
module NullSolver : sig ... end
module PredAbst (S : SOLVER) : sig ... end