mopsa.mopsa_c_parser
Mopsa_c_parser.Clang_utils
Clang_utils - Utilities for the Clang AST
abstraction
ast
bitfields
c
c_common
c_lang
cfg
combiner
combiners
combiners_common
config
congUtils
containers
core
cpython
domain
engines
framework
heap
hooks
interactive
intervals
itvUtils
lang
lattices
mopsa
mopsa.c_stubs_parser
mopsa.mopsa_analyzer
mopsa.mopsa_analzyer
mopsa.mopsa_build_db
mopsa.mopsa_c_stubs_parser
mopsa.mopsa_py_parser
mopsa.mopsa_universal_parser
mopsa.mopsa_utils
numeric_common
numeric_reductions
numeric_values
output
params
parsing
passes
powersets
python
python_lang
reduction
relational
repl
sig
stubs
toplevel
universal
universal_interproc
universal_iterators
universal_numeric
utils_core
value
val empty_loc : Clang_AST.loc
val empty_range : Clang_AST.range
val loc_is_empty : Clang_AST.loc -> bool
val range_is_empty : Clang_AST.range -> bool
val target_unsigned_int : Clang_AST.target_int_type -> Clang_AST.target_int_type
val int_type_align : Clang_AST.target_info -> Clang_AST.target_int_type -> int
val real_type_align : Clang_AST.target_info -> Clang_AST.target_real_type -> int
val int_type_width : Clang_AST.target_info -> Clang_AST.target_int_type -> int
val real_type_width : Clang_AST.target_info -> Clang_AST.target_real_type -> int
val dump_block : recursive:bool -> 'a -> unit