A | |
AI_Lattice_with_cardinal_one [Lattice_type] | Signature shared by some functors of module |
Array [State_builder] | |
Attributes [State_dependency_graph] | Signature required by |
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] | |
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. |
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 |
Fundec_set [Parameter_sig] | |
G | |
G [State_topological] | Minimal graph signature to provide. |
General_services [Plugin] | |
H | |
Hashcons [State_builder] | Output signature of |
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 |
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] | |
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 |
Lattice_Set [Lattice_type] | Signatures for a lattice over a set
(see |
Lattice_Sum [Lattice_type] | Signature for a lattice over a sum type
(see |
Lattice_UProduct [Lattice_type] | Signature for a product lattice
(see |
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 |
Local [State] | Operations on the local state required for registering a new state via
|
Location_map_bitwise [Lmap_bitwise] | |
M | |
Make_input [Datatype] | Input signature of |
Map [Parameter_sig] | Signature for maps as command line parameters. |
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 |
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 |
Polymorphic2 [Type] | Same as |
Polymorphic2 [Datatype] | Output signature of |
Polymorphic2_input [Type] | See module |
Polymorphic3 [Type] | Same as |
Polymorphic3 [Datatype] | Output signature of |
Polymorphic3_input [Type] | See module |
Polymorphic4 [Type] | Same as |
Polymorphic4 [Datatype] | Output signature of |
Polymorphic4_input [Type] | See module |
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 |
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 |
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 |
S [Hptmap_sig] | Signature for hptmaps from hash-consed trees to values |
S [Hook] | Output signature. |
S [FCSet] | Output signature of the functor |
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 |
S_no_log [Plugin] | |
S_no_parameter [Parameter_sig] | Generic signature of a parameter, without |
S_ordered [Hook] | hook with a notion of priority. |
S_with_collections [Datatype] | A datatype for a type |
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 [Lattice_type] | |
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 |
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. |
With_Cardinal_One [Lattice_type] | |
With_Diff [Lattice_type] | |
With_Diff_One [Lattice_type] | |
With_Enumeration [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. |