A | |
AI_Lattice_with_cardinal_one [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.
|
BackwardsTransfer [Dataflow] |
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] | |
Counter [State_builder] | |
D | |
DATA [Qstack] | |
E | |
Elt [Indexer] | |
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.
|
ForwardsTransfer [Dataflow2] |
Interface to provide for a backward dataflow analysis.
|
ForwardsTransfer [Dataflow] |
Interface to provide for a forward dataflow analysis.
|
Full_AI_Lattice_with_cardinality [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] | |
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] | |
I | |
INOUT [Db] | |
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.
|
Int [Parameter_sig] |
Signature for an integer parameter.
|
Iter_hook [Hook] | |
J | |
JOIN_SEMILATTICE [Dataflows] | |
Join_Semi_Lattice [Lattice_type] | |
K | |
Kernel_function_set [Parameter_sig] |
Set of defined kernel functions.
|
Key [Map_Lattice] | |
L | |
Lattice_Base [Lattice_type] | |
Lattice_Hashconsed_Set [Lattice_type] | |
Lattice_Product [Lattice_type] |
Signature for a product lattice in which
Bottom is handled especially.
|
Lattice_Set [Lattice_type] | |
Lattice_Set_Generic [Lattice_type] |
Signatures for a lattice over a set
(see
Abstract_interp.Make_Lattice_Set or
Abstract_interp.Make_Hashconsed_Lattice_Set ).
|
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
|
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] |
Input signature of
Datatype.Make and Datatype.Make_with_collections .
|
Map [Parameter_sig] |
Signature for maps as command line parameters.
|
Map [Datatype] |
A standard OCaml map signature extended with datatype operations.
|
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 | |
OldDynlink [FCDynlink] | |
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_selection] |
Operations over selections which depend on a State Dependency Graph
implementation.
|
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] | |
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 [FCSet] |
Output signature of the functor
FCSet.Make .
|
S [FCMap] | |
S [FCHashtbl] | |
S [Datatype] |
All values associated to a datatype.
|
S_Basic_Compare [FCSet] |
Standard operations on sets.
|
S_no_copy [Datatype] |
All values associated to a datatype, excepted
copy .
|
S_no_parameter [Parameter_sig] |
Generic signature of a parameter, without
parameter .
|
S_ordered [Hook] |
hook with a notion of priority.
|
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 [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.
|
Sig [Db.PostdominatorsTypes] | |
Specific_dir [Parameter_sig] |
signature for searching files in a specific directory.
|
StmtStartData [Dataflow2] | |
StmtStartData [Dataflow] | |
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 | |
Ty [Datatype] |
A type with its type value.
|
U | |
Undefined [Datatype] |
Sub-signature of
Datatype.S .
|
V | |
V [Hptmap] |
Values stored in the map
|
Value [Rangemap] |
Datatype with a function that approximately equality in a constant-time
way.
|
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.
|
With_Cardinal_One [Lattice_type] | |
With_Diff [Lattice_type] | |
With_Diff_One [Lattice_type] | |
With_Enumeration [Lattice_type] | |
With_Error_Bottom [Lattice_type] | |
With_Error_Top [Lattice_type] | |
With_Errors [Lattice_type] | |
With_Intersects [Lattice_type] | |
With_Narrow [Lattice_type] | |
With_Top [Lattice_type] | |
With_Top_Opt [Lattice_type] | |
With_Under_Approximation [Lattice_type] | |
With_Widening [Lattice_type] | |
With_default [Lmap_bitwise] | |
With_output [Parameter_sig] |
Signature for a boolean parameter that causes something to be output.
|