Index of module types

A
AI_Lattice_with_cardinal_one [Lattice_type]

Signature shared by some functors of module Abstract_interp.

AI_Lattice_with_cardinal_one [Eva_lattice_type]

Signature shared by some functors of module Abstract_interp.

Array [State_builder]
Attributes [State_dependency_graph]

Signature required by Graph.GraphViZ.Dot.

B
BACKWARD_MONOTONE_PARAMETER [Dataflows]

Statement-based backward dataflow.

BackwardsTransfer [Dataflow2]

Interface to provide for a backward dataflow analysis.

Bool [Parameter_sig]

Signature for a boolean parameter.

Bounded_Join_Semi_Lattice [Lattice_type]
Builder [Parameter_sig]

Signatures containing the different functors which may be used to generate new command line options.

C
Cacheable [Binary_cache]
Collapse [Abstract_interp]
Collection [Parameter_sig]

Common signature to all collections.

Collection_category [Parameter_sig]

Signature for a category over a collection.

Common [Dynamic.Parameter]

Set of common operations on parameters.

Comparable [Hook]
Correspondance_table [Ast_diff]
Counter [State_builder]
D
DATA [Qstack]
DataflowAnalysis [Interpreted_automata]

Simple dataflow analysis

Domain [Interpreted_automata]

Input domain for a simple dataflow analysis.

E
Elt [Indexer]
Extensible_checker [Filecheck]
F
FORWARD_MONOTONE_PARAMETER [Dataflows]

Edge-based forward dataflow.

FUNCTION_ENV [Dataflows]

Environment relative to the function being processed, and function to create them from Kf.

Filepath [Parameter_sig]

signature for normalized pathnames.

Filepath_list [Parameter_sig]
Filepath_map [Parameter_sig]
ForwardsTransfer [Dataflow2]

Interface to provide for a backward dataflow analysis.

Full_AI_Lattice_with_cardinality [Lattice_type]

Most complete lattices: all operations plus widening, notion of cardinal (including enumeration) and difference.

Full_AI_Lattice_with_cardinality [Eva_lattice_type]

Most complete lattices: all operations plus widening, notion of cardinal (including enumeration) and difference.

Full_Lattice [Lattice_type]

Lattice with over- and under-approximation of join and meet, and intersection and difference.

Functor_info [Datatype]

Additional info for building Set, Map and Hashtbl.

Fundec_set [Parameter_sig]
G
G [State_topological]

Minimal graph signature to provide.

General_services [Plugin]
Get [Visitor_behavior]
H
Hashcons [State_builder]

Output signature of Hashcons below.

Hashconsing_tbl [State_builder]

Signature for the creation of projectified hashconsing tables..

Hashtbl [State_builder]

Output signature of builders of hashtables.

Hashtbl [Datatype]

A standard OCaml hashtbl signature extended with datatype operations.

Hashtbl_with_descr [Datatype]

Marshallable collectors with hashtbl-like interface.

Heterogeneous_table [Type]
Hptset [Lattice_type]
I
INOUT [Db]

Signature common to inputs and outputs computations.

INOUTKF [Db]

Signature common to some Inout plugin options.

Id_Datatype [Hptmap]

Type of the keys of the map.

Info [State_builder]

Additional information required by State_builder.Register.

Info_with_size [State_builder]
Input [Parameter_sig]

Minimal signature to implement for each parameter corresponding to an option on the command line argument.

Input_collection [Parameter_sig]

Minimal signature for collections of custom datatype

Input_with_arg [Parameter_sig]

Minimal signature to implement for each parameter corresponding to an option on the command line argument which requires an argument.

Input_with_arg [Kernel]
Int [Parameter_sig]

Signature for an integer parameter.

Iter_hook [Hook]
J
JOIN_SEMILATTICE [Dataflows]
Join_Semi_Lattice [Lattice_type]
Join_Semi_Lattice [Eva_lattice_type]
K
Kernel_function_set [Parameter_sig]

Set of defined kernel functions.

L
Lattice [Map_lattice]

Complete semi-bounded lattice with over- and under-approximation, intersection and difference.

Lattice_Base [Lattice_type]
Lattice_Product [Lattice_type]

Signature for a product lattice in which Bottom is handled especially.

Lattice_Set [Lattice_type]
Lattice_Sum [Lattice_type]

Signature for a lattice over a sum type (see Abstract_interp.Make_Lattice_Sum).

Lattice_UProduct [Lattice_type]

Signature for a product lattice (see Abstract_interp.Make_Lattice_UProduct).

Lattice_Value [Lattice_type]

Generic signature for the base elements of a lattice

Lattice_with_cardinality [Map_lattice]

Complete lattice as above, plus a notion of cardinality on the values.

List [Parameter_sig]

Signature for lists as command line parameters.

List_ref [State_builder]

Output signature of ListRef.

Local [State]

Operations on the local state required for registering a new state via State_builder.Register.

Location_map_bitwise [Lmap_bitwise]
M
Make_input [Datatype]
Map [Parameter_sig]

Signature for maps as command line parameters.

Map [Dotgraph]
Map [Datatype]

A standard OCaml map signature extended with datatype operations.

MapSet_Lattice [Map_lattice]

A lattice structure on top of maps from keys to values and sets of keys.

MapSet_Lattice_with_cardinality [Map_lattice]

A notion of cardinality for mapset lattice.

Map_Lattice [Map_lattice]

A map with a complete lattice structure.

Map_Lattice_with_cardinality [Map_lattice]

A notion of cardinality for maps with a complete lattice structure.

Messages [Log]
Multiple_map [Parameter_sig]

Signature for multiple maps as command line parameters.

Multiple_value_datatype [Parameter_sig]

Signature of the optional value associated to the key and required to build multiple map parameters.

O
Option_ref [State_builder]

Output signature of Option_ref.

P
Polymorphic [Type]

For a polymorphic type value with one type variable, you must use an implementation of this signature.

Polymorphic [Datatype]

Output signature of Datatype.Polymorphic.

Polymorphic2 [Type]

Same as Type.Polymorphic for polymorphic types with two type variables.

Polymorphic2 [Datatype]

Output signature of Datatype.Polymorphic2.

Polymorphic2_input [Type]

See module Type.Polymorphic_input: very same functions with one additional argument corresponding to the second type variable.

Polymorphic3 [Type]

Same as Type.Polymorphic for polymorphic types with three type variables.

Polymorphic3 [Datatype]

Output signature of Datatype.Polymorphic3.

Polymorphic3_input [Type]

See module Type.Polymorphic_input: very same functions with two additional arguments corresponding to the second and third type variables.

Polymorphic4 [Type]

Same as Type.Polymorphic for polymorphic types with four type variables.

Polymorphic4 [Datatype]

Output signature of Datatype.Polymorphic4.

Polymorphic4_input [Type]

See module Type.Polymorphic_input: very same functions with three additional arguments corresponding to the additional type variables.

Polymorphic_input [Type]
PrinterClass [Printer_api.S]

Auxiliary module type for a pretty-printer

PrinterExtension [Printer_api.S]

Signature for extending an existing pretty-printer.

Q
Queue [State_builder]
R
Ref [State_builder]

Output signature of Ref.

RemoveInfo [Filter]

Signature of a module that decides which element of a function have to be visible or not

Result [Binary_cache]
S
S [State_dependency_graph]

Signature of a State Dependency Graph.

S [State_builder]

Output signature of State_builder.Register.

S [Service_graph]

Output signature for services.

S [Rangemap]
S [Printer_api]
S [Plugin]

Provided plug-general services for plug-ins.

S [Parameter_sig]

Generic signature of a parameter.

S [Hptset]

Output signature of the functor Set.Make.

S [Hptmap_sig]

Signature for hptmaps from hash-consed trees to values.

S [Hook]

Output signature.

S [Float_sig]
S [Float_interval_sig]
S [FCHashtbl]
S [Datatype]

All values associated to a datatype.

S_Basic_Compare [Hptset]

Subset of the OCaml Set.S signature.

S_no_copy [Datatype]

All values associated to a datatype, excepted copy.

S_no_log [Plugin]

Special signature for Kernel services, whose messages are handled in an ad'hoc manner.

S_no_parameter [Parameter_sig]

Generic signature of a parameter, without parameter.

S_ordered [Hook]

hook with a notion of priority.

S_pp [Printer_tag]
S_pp [Printer_api]
S_with_collections [Datatype]

A datatype for a type t extended with predefined set, map and hashtbl over t.

S_with_collections_pretty [Cil_datatype]
S_with_pretty [Cil_datatype]

Auxiliary module for datatypes that can be pretty-printed.

Set [Visitor_behavior]
Set [Parameter_sig]

Signature for sets as command line parameters.

Set [Datatype]

A standard OCaml set signature extended with datatype operations.

Set_ref [State_builder]

Output signature of builders of references on a set.

Shape [Hptmap_sig]

This module type contains only functions that do not create or modify maps.

Sig [Db.PostdominatorsTypes]
Specific_dir [Parameter_sig]

signature for searching files in a specific directory.

StmtStartData [Dataflow2]
String [Parameter_sig]

Signature for a string parameter.

String_datatype [Parameter_sig]

Signature required to build custom collection parameters in which elements are convertible to string.

String_datatype_with_collections [Parameter_sig]

Signature requires to build custom collection parameters in which elements are convertible to string.

String_list [Parameter_sig]
String_set [Parameter_sig]
Sub_caml_weak_hashtbl [Datatype]
T
T [Cil_builder]
Tag [Printer_tag]
Ty [Datatype]

A type with its type value.

U
Undefined [Datatype]

Sub-signature of Datatype.S.

Unset [Visitor_behavior]
V
V [Hptmap]

Values stored in the map

Value [Rangemap]

Datatype with a function that approximately equality in a constant-time way.

Value [Map_lattice]
Value_datatype [Parameter_sig]

Signature of the optional value associated to the key and required to build map parameters.

W
Weak_hashtbl [State_builder]

Output signature of builders of hashtables.

Widen_Hints [Float_sig]
With_Cardinal_One [Lattice_type]
With_Cardinal_One [Eva_lattice_type]
With_Diff [Lattice_type]
With_Diff [Eva_lattice_type]
With_Diff_One [Lattice_type]
With_Diff_One [Eva_lattice_type]
With_Enumeration [Lattice_type]
With_Enumeration [Eva_lattice_type]
With_Intersects [Lattice_type]
With_Intersects [Eva_lattice_type]
With_Narrow [Lattice_type]
With_Narrow [Eva_lattice_type]
With_Top [Lattice_type]
With_Top [Eva_lattice_type]
With_Top_Opt [Lattice_type]
With_Under_Approximation [Lattice_type]
With_Under_Approximation [Eva_lattice_type]
With_Widening [Lattice_type]
With_Widening [Eva_lattice_type]
With_default [Lmap_bitwise]
With_output [Parameter_sig]

Signature for a boolean parameter that causes something to be output.