Ctypes.Type_settings
val root : string * typ
Root type of the parameters, and symbol to find it in the ELF file.
val special_data_addrs : (int * (typ * int)) list
List of data addresses that should be considered to be an extension of parameter memory.
val unique_array_types : typ list
List of every type t
such that there exists only one array of t
s in the parameters.
val non_modifiable_types : typ list
An attempt to store to a pointer to this type should raise an alarm.
val global_symbols : (string * int * Pred.t) list
List of global symbolic constants, with their sizes in bits and predicates that hold on them.