cprover
util Directory Reference

Files

file  allocate_objects.cpp [code]
 
file  allocate_objects.h [code]
 
file  arith_tools.cpp [code]
 
file  arith_tools.h [code]
 
file  array_element_from_pointer.cpp [code]
 
file  array_element_from_pointer.h [code]
 
file  array_name.cpp [code]
 
file  array_name.h [code]
 
file  as_const.h [code]
 
file  base_exceptions.h [code]
 
file  base_type.cpp [code]
 
file  base_type.h [code]
 
file  bv_arithmetic.cpp [code]
 
file  bv_arithmetic.h [code]
 
file  byte_operators.cpp [code]
 
file  byte_operators.h [code]
 Expression classes for byte-level operators.
 
file  c_types.cpp [code]
 
file  c_types.h [code]
 
file  c_types_util.h [code]
 
file  cmdline.cpp [code]
 
file  cmdline.h [code]
 
file  config.cpp [code]
 
file  config.h [code]
 
file  constructor_of.h [code]
 
file  container_utils.h [code]
 
file  cout_message.cpp [code]
 
file  cout_message.h [code]
 
file  cow.h [code]
 
file  cprover_prefix.h [code]
 
file  dense_integer_map.h [code]
 
file  deprecate.h [code]
 
file  dstring.cpp [code]
 
file  dstring.h [code]
 
file  endianness_map.cpp [code]
 
file  endianness_map.h [code]
 
file  exception_utils.cpp [code]
 
file  exception_utils.h [code]
 
file  exit_codes.h [code]
 
file  expanding_vector.h [code]
 
file  expr.cpp [code]
 
file  expr.h [code]
 
file  expr_cast.h [code]
 Templated functions to cast to specific exprt-derived classes.
 
file  expr_initializer.cpp [code]
 
file  expr_initializer.h [code]
 
file  expr_iterator.h [code]
 
file  expr_util.cpp [code]
 
file  expr_util.h [code]
 Deprecated expression utility functions.
 
file  file_util.cpp [code]
 
file  file_util.h [code]
 
file  find_macros.cpp [code]
 
file  find_macros.h [code]
 
file  find_symbols.cpp [code]
 
file  find_symbols.h [code]
 
file  fixed_keys_map_wrapper.h [code]
 
file  fixedbv.cpp [code]
 
file  fixedbv.h [code]
 
file  format.h [code]
 
file  format_constant.cpp [code]
 
file  format_constant.h [code]
 
file  format_expr.cpp [code]
 
file  format_expr.h [code]
 
file  format_number_range.cpp [code]
 
file  format_number_range.h [code]
 
file  format_spec.h [code]
 
file  format_type.cpp [code]
 
file  format_type.h [code]
 
file  forward_list_as_map.h [code]
 
file  freer.h [code]
 
file  fresh_symbol.cpp [code]
 
file  fresh_symbol.h [code]
 
file  get_base_name.cpp [code]
 
file  get_base_name.h [code]
 
file  get_module.cpp [code]
 
file  get_module.h [code]
 
file  graph.h [code]
 
file  identifier.cpp [code]
 
file  identifier.h [code]
 
file  ieee_float.cpp [code]
 
file  ieee_float.h [code]
 
file  infix.h [code]
 
file  integer_interval.h [code]
 
file  interval_constraint.cpp [code]
 
file  interval_constraint.h [code]
 
file  interval_template.h [code]
 
file  interval_union.cpp [code]
 
file  interval_union.h [code]
 
file  invariant.cpp [code]
 
file  invariant.h [code]
 
file  invariant_utils.cpp [code]
 
file  invariant_utils.h [code]
 
file  irep.cpp [code]
 
file  irep.h [code]
 
file  irep_hash.cpp [code]
 
file  irep_hash.h [code]
 
file  irep_hash_container.cpp [code]
 
file  irep_hash_container.h [code]
 
file  irep_ids.cpp [code]
 
file  irep_ids.h [code]
 
file  irep_serialization.cpp [code]
 
file  irep_serialization.h [code]
 
file  journalling_symbol_table.h [code]
 Author: Diffblue Ltd.
 
file  json.cpp [code]
 
file  json.h [code]
 
file  json_irep.cpp [code]
 
file  json_irep.h [code]
 
file  json_stream.cpp [code]
 
file  json_stream.h [code]
 
file  lazy.h [code]
 
file  lispexpr.cpp [code]
 
file  lispexpr.h [code]
 
file  lispirep.cpp [code]
 
file  lispirep.h [code]
 
file  magic.h [code]
 Magic numbers used throughout the codebase.
 
file  make_unique.h [code]
 
file  mathematical_expr.cpp [code]
 
file  mathematical_expr.h [code]
 
file  mathematical_types.cpp [code]
 
file  mathematical_types.h [code]
 
file  memory_info.cpp [code]
 
file  memory_info.h [code]
 
file  merge_irep.cpp [code]
 
file  merge_irep.h [code]
 
file  message.cpp [code]
 
file  message.h [code]
 
file  mp_arith.cpp [code]
 
file  mp_arith.h [code]
 
file  namespace.cpp [code]
 
file  namespace.h [code]
 
file  narrow.h [code]
 
file  nodiscard.h [code]
 
file  nondet.cpp [code]
 
file  nondet.h [code]
 
file  nondet_bool.h [code]
 
file  numbering.h [code]
 
file  object_factory_parameters.cpp [code]
 
file  object_factory_parameters.h [code]
 
file  optional.h [code]
 
file  optional_utils.h [code]
 
file  options.cpp [code]
 
file  options.h [code]
 
file  parse_options.cpp [code]
 
file  parse_options.h [code]
 
file  parser.cpp [code]
 
file  parser.h [code]
 
file  pointer_offset_size.cpp [code]
 
file  pointer_offset_size.h [code]
 
file  pointer_offset_sum.cpp [code]
 
file  pointer_offset_sum.h [code]
 
file  pointer_predicates.cpp [code]
 
file  pointer_predicates.h [code]
 
file  prefix.h [code]
 
file  prefix_filter.cpp [code]
 
file  prefix_filter.h [code]
 
file  preprocessor.h [code]
 
file  range.h [code]
 
file  rational.cpp [code]
 
file  rational.h [code]
 
file  rational_tools.cpp [code]
 
file  rational_tools.h [code]
 
file  ref_expr_set.cpp [code]
 
file  ref_expr_set.h [code]
 
file  reference_counting.h [code]
 
file  refined_string_type.cpp [code]
 
file  refined_string_type.h [code]
 
file  rename.cpp [code]
 
file  rename.h [code]
 
file  rename_symbol.cpp [code]
 
file  rename_symbol.h [code]
 
file  replace_expr.cpp [code]
 
file  replace_expr.h [code]
 
file  replace_symbol.cpp [code]
 
file  replace_symbol.h [code]
 
file  run.cpp [code]
 
file  run.h [code]
 
file  sharing_map.h [code]
 
file  sharing_node.h [code]
 
file  signal_catcher.cpp [code]
 
file  signal_catcher.h [code]
 
file  simplify_expr.cpp [code]
 
file  simplify_expr.h [code]
 
file  simplify_expr_array.cpp [code]
 
file  simplify_expr_boolean.cpp [code]
 
file  simplify_expr_class.h [code]
 
file  simplify_expr_floatbv.cpp [code]
 
file  simplify_expr_if.cpp [code]
 
file  simplify_expr_int.cpp [code]
 
file  simplify_expr_pointer.cpp [code]
 
file  simplify_expr_struct.cpp [code]
 
file  simplify_utils.cpp [code]
 
file  simplify_utils.h [code]
 
file  small_map.h [code]
 
file  small_shared_n_way_ptr.h [code]
 
file  small_shared_ptr.h [code]
 
file  source_location.cpp [code]
 
file  source_location.h [code]
 
file  sparse_vector.h [code]
 
file  ssa_expr.cpp [code]
 
file  ssa_expr.h [code]
 
file  std_code.cpp [code]
 
file  std_code.h [code]
 
file  std_expr.cpp [code]
 
file  std_expr.h [code]
 
file  std_types.cpp [code]
 
file  std_types.h [code]
 
file  string2int.cpp [code]
 
file  string2int.h [code]
 
file  string_constant.cpp [code]
 
file  string_constant.h [code]
 
file  string_container.cpp [code]
 
file  string_container.h [code]
 
file  string_expr.h [code]
 
file  string_hash.cpp [code]
 
file  string_hash.h [code]
 
file  string_utils.cpp [code]
 
file  string_utils.h [code]
 
file  suffix.h [code]
 
file  symbol.cpp [code]
 
file  symbol.h [code]
 Symbol table entry.
 
file  symbol_table.cpp [code]
 
file  symbol_table.h [code]
 Author: Diffblue Ltd.
 
file  symbol_table_base.cpp [code]
 
file  symbol_table_base.h [code]
 Author: Diffblue Ltd.
 
file  symbol_table_builder.h [code]
 
file  tempdir.cpp [code]
 
file  tempdir.h [code]
 
file  tempfile.cpp [code]
 
file  tempfile.h [code]
 
file  threeval.cpp [code]
 
file  threeval.h [code]
 
file  timestamper.cpp [code]
 
file  timestamper.h [code]
 Emit timestamps.
 
file  type.cpp [code]
 
file  type.h [code]
 
file  typecheck.cpp [code]
 
file  typecheck.h [code]
 
file  ui_message.cpp [code]
 
file  ui_message.h [code]
 
file  unicode.cpp [code]
 
file  unicode.h [code]
 
file  union_find.cpp [code]
 
file  union_find.h [code]
 
file  union_find_replace.cpp [code]
 
file  union_find_replace.h [code]
 
file  validate.h [code]
 
file  validate_code.cpp [code]
 
file  validate_code.h [code]
 
file  validate_expressions.cpp [code]
 
file  validate_expressions.h [code]
 
file  validate_helpers.h [code]
 
file  validate_types.cpp [code]
 
file  validate_types.h [code]
 
file  validation_interface.h [code]
 
file  validation_mode.h [code]
 
file  version.h [code]
 
file  xml.cpp [code]
 
file  xml.h [code]
 
file  xml_irep.cpp [code]
 
file  xml_irep.h [code]