cprover
util Directory Reference
Directory dependency graph for util:

Files

file  arith_tools.cpp [code]
 
file  arith_tools.h [code]
 
file  array_name.cpp [code]
 Misc Utilities.
 
file  array_name.h [code]
 Misc Utilities.
 
file  base_exceptions.h [code]
 Generic exception types primarily designed for use with invariants.
 
file  base_type.cpp [code]
 Base Type Computation.
 
file  base_type.h [code]
 Base Type Computation.
 
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  cmdline.cpp [code]
 
file  cmdline.h [code]
 
file  config.cpp [code]
 
file  config.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  decision_procedure.cpp [code]
 Decision Procedure Interface.
 
file  decision_procedure.h [code]
 Decision Procedure Interface.
 
file  deprecate.h [code]
 
file  dstring.cpp [code]
 Container for C-Strings.
 
file  dstring.h [code]
 Container for C-Strings.
 
file  endianness_map.cpp [code]
 
file  endianness_map.h [code]
 
file  exit_codes.h [code]
 Document and give macros for the exit codes of CPROVER binaries.
 
file  expanding_vector.h [code]
 
file  expr.cpp [code]
 Expression Representation.
 
file  expr.h [code]
 
file  expr_cast.h [code]
 Templated functions to cast to specific exprt-derived classes.
 
file  expr_initializer.cpp [code]
 Expression Initialization.
 
file  expr_initializer.h [code]
 Expression Initialization.
 
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 Utilities.
 
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]
 A wrapper for maps that gives read-write access to elements but without allowing addition or removal of elements.
 
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]
 Expression Pretty Printing.
 
file  format_expr.h [code]
 
file  format_number_range.cpp [code]
 Format vector of numbers into a compressed range.
 
file  format_number_range.h [code]
 Format vector of numbers into a compressed range.
 
file  format_spec.h [code]
 
file  format_type.cpp [code]
 
file  format_type.h [code]
 
file  freer.h [code]
 
file  fresh_symbol.cpp [code]
 Fresh auxiliary symbol creation.
 
file  fresh_symbol.h [code]
 Fresh auxiliary symbol creation.
 
file  get_base_name.cpp [code]
 
file  get_base_name.h [code]
 
file  get_module.cpp [code]
 Find module symbol using name.
 
file  get_module.h [code]
 Find module symbol using name.
 
file  graph.h [code]
 A Template Class for Graphs.
 
file  guard.cpp [code]
 Symbolic Execution.
 
file  guard.h [code]
 Guard Data Structure.
 
file  identifier.cpp [code]
 
file  identifier.h [code]
 
file  ieee_float.cpp [code]
 
file  ieee_float.h [code]
 
file  infix.h [code]
 String infix shorthand.
 
file  invariant.cpp [code]
 
file  invariant.h [code]
 
file  invariant_utils.cpp [code]
 Invariant helper utilities.
 
file  invariant_utils.h [code]
 
file  irep.cpp [code]
 Internal Representation.
 
file  irep.h [code]
 
file  irep_hash.cpp [code]
 irep hash functions
 
file  irep_hash.h [code]
 irep hash functions
 
file  irep_hash_container.cpp [code]
 Hashing IREPs.
 
file  irep_hash_container.h [code]
 IREP Hash Container.
 
file  irep_ids.cpp [code]
 Internal Representation.
 
file  irep_ids.h [code]
 util
 
file  irep_serialization.cpp [code]
 binary irep conversions with hashing
 
file  irep_serialization.h [code]
 binary irep conversions with hashing
 
file  journalling_symbol_table.h [code]
 Author: Diffblue Ltd.
 
file  json.cpp [code]
 
file  json.h [code]
 
file  json_expr.cpp [code]
 Expressions in JSON.
 
file  json_expr.h [code]
 Expressions in JSON.
 
file  json_irep.cpp [code]
 Util.
 
file  json_irep.h [code]
 Util.
 
file  json_stream.cpp [code]
 
file  json_stream.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  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]
 Namespace.
 
file  namespace.h [code]
 
file  nondet_bool.h [code]
 Nondeterministic boolean helper.
 
file  numbering.h [code]
 
file  optional.h [code]
 
file  options.cpp [code]
 Options.
 
file  options.h [code]
 Options.
 
file  parse_options.cpp [code]
 
file  parse_options.h [code]
 
file  parser.cpp [code]
 
file  parser.h [code]
 Parser utilities.
 
file  pointer_offset_size.cpp [code]
 Pointer Logic.
 
file  pointer_offset_size.h [code]
 Pointer Logic.
 
file  pointer_predicates.cpp [code]
 Various predicates over pointers in programs.
 
file  pointer_predicates.h [code]
 Various predicates over pointers in programs.
 
file  prefix.h [code]
 
file  preprocessor.h [code]
 Preprocessing Base Class.
 
file  rational.cpp [code]
 Rational Numbers.
 
file  rational.h [code]
 
file  rational_tools.cpp [code]
 Rational Numbers.
 
file  rational_tools.h [code]
 
file  ref_expr_set.cpp [code]
 Value Set.
 
file  ref_expr_set.h [code]
 Value Set.
 
file  reference_counting.h [code]
 Reference Counting.
 
file  refined_string_type.cpp [code]
 Type for string expressions used by the string solver.
 
file  refined_string_type.h [code]
 Type for string expressions used by the string solver.
 
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]
 Sharing map.
 
file  sharing_node.h [code]
 Sharing node.
 
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_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]
 Small map.
 
file  small_shared_ptr.h [code]
 
file  small_shared_two_way_ptr.h [code]
 
file  source_location.cpp [code]
 
file  source_location.h [code]
 
file  sparse_vector.h [code]
 Sparse Vectors.
 
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]
 API to expression classes.
 
file  std_types.cpp [code]
 
file  std_types.h [code]
 API to type classes.
 
file  string2int.cpp [code]
 
file  string2int.h [code]
 
file  string_constant.cpp [code]
 
file  string_constant.h [code]
 
file  string_container.cpp [code]
 Container for C-Strings.
 
file  string_container.h [code]
 Container for C-Strings.
 
file  string_expr.h [code]
 String expressions for the string solver.
 
file  string_hash.cpp [code]
 string hashing
 
file  string_hash.h [code]
 string hashing
 
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  tempdir.cpp [code]
 
file  tempdir.h [code]
 
file  tempfile.cpp [code]
 
file  tempfile.h [code]
 
file  threeval.cpp [code]
 
file  threeval.h [code]
 
file  throw_with_nested.h [code]
 
file  timestamper.cpp [code]
 
file  timestamper.h [code]
 Emit timestamps.
 
file  type.cpp [code]
 
file  type.h [code]
 
file  type_eq.cpp [code]
 Type Checking.
 
file  type_eq.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  unwrap_nested_exception.cpp [code]
 
file  unwrap_nested_exception.h [code]
 
file  version.cpp [code]
 
file  version.h [code]
 
file  xml.cpp [code]
 
file  xml.h [code]
 
file  xml_expr.cpp [code]
 Expressions in XML.
 
file  xml_expr.h [code]
 
file  xml_irep.cpp [code]
 
file  xml_irep.h [code]