cprover
src → util Relation
File in jbmc/src
Includes file in util
java_bytecode
/
assignments_from_json.cpp
allocate_objects.h
java_bytecode
/
assignments_from_json.cpp
array_element_from_pointer.h
java_bytecode
/
assignments_from_json.cpp
expr_initializer.h
java_bytecode
/
assignments_from_json.cpp
prefix.h
java_bytecode
/
assignments_from_json.cpp
unicode.h
java_bytecode
/
assignments_from_json.h
std_code.h
java_bytecode
/
character_refine_preprocess.cpp
arith_tools.h
java_bytecode
/
character_refine_preprocess.cpp
std_expr.h
java_bytecode
/
character_refine_preprocess.h
mp_arith.h
java_bytecode
/
character_refine_preprocess.h
std_code.h
java_bytecode
/
ci_lazy_methods.cpp
expr_iterator.h
java_bytecode
/
ci_lazy_methods.cpp
suffix.h
java_bytecode
/
ci_lazy_methods.h
irep.h
java_bytecode
/
ci_lazy_methods.h
message.h
java_bytecode
/
ci_lazy_methods.h
symbol_table.h
java_bytecode
/
ci_lazy_methods_needed.cpp
namespace.h
java_bytecode
/
ci_lazy_methods_needed.cpp
std_types.h
java_bytecode
/
ci_lazy_methods_needed.h
namespace.h
java_bytecode
/
ci_lazy_methods_needed.h
symbol_table.h
java_bytecode
/
code_with_references.cpp
arith_tools.h
java_bytecode
/
code_with_references.h
std_code.h
java_bytecode
/
convert_java_nondet.cpp
irep_ids.h
java_bytecode
/
convert_java_nondet.h
irep.h
java_bytecode
/
create_array_with_type_intrinsic.cpp
fresh_symbol.h
java_bytecode
/
create_array_with_type_intrinsic.cpp
namespace.h
java_bytecode
/
create_array_with_type_intrinsic.cpp
symbol_table_base.h
java_bytecode
/
create_array_with_type_intrinsic.h
message.h
java_bytecode
/
create_array_with_type_intrinsic.h
std_code.h
java_bytecode
/
create_array_with_type_intrinsic.h
symbol_table_base.h
java_bytecode
/
expr2java.cpp
arith_tools.h
java_bytecode
/
expr2java.cpp
ieee_float.h
java_bytecode
/
expr2java.cpp
namespace.h
java_bytecode
/
expr2java.cpp
std_expr.h
java_bytecode
/
expr2java.cpp
std_types.h
java_bytecode
/
expr2java.cpp
symbol.h
java_bytecode
/
expr2java.cpp
unicode.h
java_bytecode
/
generic_parameter_specialization_map.h
string_utils.h
java_bytecode
/
generic_parameter_specialization_map_keys.cpp
range.h
janalyzer
/
janalyzer_main.cpp
unicode.h
janalyzer
/
janalyzer_parse_options.cpp
config.h
janalyzer
/
janalyzer_parse_options.cpp
exit_codes.h
janalyzer
/
janalyzer_parse_options.cpp
options.h
janalyzer
/
janalyzer_parse_options.cpp
unicode.h
janalyzer
/
janalyzer_parse_options.cpp
version.h
janalyzer
/
janalyzer_parse_options.h
parse_options.h
janalyzer
/
janalyzer_parse_options.h
timestamper.h
janalyzer
/
janalyzer_parse_options.h
ui_message.h
java_bytecode
/
jar_file.cpp
invariant.h
java_bytecode
/
jar_file.cpp
suffix.h
java_bytecode
/
jar_file.h
optional.h
java_bytecode
/
java_bytecode_concurrency_instrumentation.cpp
arith_tools.h
java_bytecode
/
java_bytecode_concurrency_instrumentation.cpp
cprover_prefix.h
java_bytecode
/
java_bytecode_concurrency_instrumentation.cpp
expr_iterator.h
java_bytecode
/
java_bytecode_concurrency_instrumentation.cpp
namespace.h
java_bytecode
/
java_bytecode_concurrency_instrumentation.cpp
std_types.h
java_bytecode
/
java_bytecode_concurrency_instrumentation.h
message.h
java_bytecode
/
java_bytecode_concurrency_instrumentation.h
symbol_table.h
java_bytecode
/
java_bytecode_convert_class.cpp
arith_tools.h
java_bytecode
/
java_bytecode_convert_class.cpp
c_types.h
java_bytecode
/
java_bytecode_convert_class.cpp
expr_initializer.h
java_bytecode
/
java_bytecode_convert_class.cpp
namespace.h
java_bytecode
/
java_bytecode_convert_class.cpp
prefix.h
java_bytecode
/
java_bytecode_convert_class.cpp
std_expr.h
java_bytecode
/
java_bytecode_convert_class.cpp
suffix.h
java_bytecode
/
java_bytecode_convert_class.h
message.h
java_bytecode
/
java_bytecode_convert_class.h
symbol_table.h
java_bytecode
/
java_bytecode_convert_method.cpp
arith_tools.h
java_bytecode
/
java_bytecode_convert_method.cpp
c_types.h
java_bytecode
/
java_bytecode_convert_method.cpp
expr_initializer.h
java_bytecode
/
java_bytecode_convert_method.cpp
ieee_float.h
java_bytecode
/
java_bytecode_convert_method.cpp
invariant.h
java_bytecode
/
java_bytecode_convert_method.cpp
namespace.h
java_bytecode
/
java_bytecode_convert_method.cpp
prefix.h
java_bytecode
/
java_bytecode_convert_method.cpp
simplify_expr.h
java_bytecode
/
java_bytecode_convert_method.cpp
std_expr.h
java_bytecode
/
java_bytecode_convert_method.cpp
string2int.h
java_bytecode
/
java_bytecode_convert_method.cpp
threeval.h
java_bytecode
/
java_bytecode_convert_method.h
message.h
java_bytecode
/
java_bytecode_convert_method.h
symbol_table.h
java_bytecode
/
java_bytecode_convert_method_class.h
expanding_vector.h
java_bytecode
/
java_bytecode_convert_method_class.h
message.h
java_bytecode
/
java_bytecode_convert_method_class.h
std_expr.h
java_bytecode
/
java_bytecode_convert_method_class.h
std_types.h
java_bytecode
/
java_bytecode_instrument.cpp
arith_tools.h
java_bytecode
/
java_bytecode_instrument.cpp
c_types.h
java_bytecode
/
java_bytecode_instrument.cpp
std_code.h
java_bytecode
/
java_bytecode_instrument.cpp
std_expr.h
java_bytecode
/
java_bytecode_instrument.h
irep.h
java_bytecode
/
java_bytecode_instrument.h
message.h
java_bytecode
/
java_bytecode_instrument.h
symbol_table.h
java_bytecode
/
java_bytecode_internal_additions.cpp
c_types.h
java_bytecode
/
java_bytecode_internal_additions.cpp
cprover_prefix.h
java_bytecode
/
java_bytecode_internal_additions.cpp
std_types.h
java_bytecode
/
java_bytecode_internal_additions.h
symbol_table_base.h
java_bytecode
/
java_bytecode_language.cpp
cmdline.h
java_bytecode
/
java_bytecode_language.cpp
config.h
java_bytecode
/
java_bytecode_language.cpp
expr_iterator.h
java_bytecode
/
java_bytecode_language.cpp
invariant.h
java_bytecode
/
java_bytecode_language.cpp
journalling_symbol_table.h
java_bytecode
/
java_bytecode_language.cpp
options.h
java_bytecode
/
java_bytecode_language.cpp
prefix.h
java_bytecode
/
java_bytecode_language.cpp
string2int.h
java_bytecode
/
java_bytecode_language.cpp
suffix.h
java_bytecode
/
java_bytecode_language.cpp
symbol_table.h
java_bytecode
/
java_bytecode_language.cpp
symbol_table_builder.h
java_bytecode
/
java_bytecode_language.h
cmdline.h
java_bytecode
/
java_bytecode_language.h
make_unique.h
java_bytecode
/
java_bytecode_language.h
prefix_filter.h
java_bytecode
/
java_bytecode_parse_tree.cpp
namespace.h
java_bytecode
/
java_bytecode_parse_tree.cpp
symbol_table.h
java_bytecode
/
java_bytecode_parse_tree.h
optional.h
java_bytecode
/
java_bytecode_parse_tree.h
std_code.h
java_bytecode
/
java_bytecode_parse_tree.h
std_types.h
java_bytecode
/
java_bytecode_parser.cpp
arith_tools.h
java_bytecode
/
java_bytecode_parser.cpp
ieee_float.h
java_bytecode
/
java_bytecode_parser.cpp
optional.h
java_bytecode
/
java_bytecode_parser.cpp
parser.h
java_bytecode
/
java_bytecode_parser.cpp
prefix.h
java_bytecode
/
java_bytecode_parser.cpp
std_expr.h
java_bytecode
/
java_bytecode_parser.cpp
string_constant.h
java_bytecode
/
java_bytecode_parser.h
irep.h
java_bytecode
/
java_bytecode_parser.h
optional.h
java_bytecode
/
java_bytecode_typecheck.cpp
config.h
java_bytecode
/
java_bytecode_typecheck.cpp
prefix.h
java_bytecode
/
java_bytecode_typecheck.cpp
std_types.h
java_bytecode
/
java_bytecode_typecheck.h
journalling_symbol_table.h
java_bytecode
/
java_bytecode_typecheck.h
namespace.h
java_bytecode
/
java_bytecode_typecheck.h
std_code.h
java_bytecode
/
java_bytecode_typecheck.h
std_expr.h
java_bytecode
/
java_bytecode_typecheck.h
std_types.h
java_bytecode
/
java_bytecode_typecheck.h
typecheck.h
java_bytecode
/
java_bytecode_typecheck_expr.cpp
arith_tools.h
java_bytecode
/
java_bytecode_typecheck_expr.cpp
expr_initializer.h
java_bytecode
/
java_bytecode_typecheck_expr.cpp
prefix.h
java_bytecode
/
java_bytecode_typecheck_expr.cpp
unicode.h
java_bytecode
/
java_bytecode_typecheck_type.cpp
invariant.h
java_bytecode
/
java_bytecode_typecheck_type.cpp
std_types.h
java_bytecode
/
java_class_loader.cpp
prefix.h
java_bytecode
/
java_class_loader.cpp
suffix.h
java_bytecode
/
java_class_loader.h
fixed_keys_map_wrapper.h
java_bytecode
/
java_class_loader_base.cpp
file_util.h
java_bytecode
/
java_class_loader_base.cpp
prefix.h
java_bytecode
/
java_class_loader_base.cpp
suffix.h
java_bytecode
/
java_class_loader_base.h
message.h
java_bytecode
/
java_class_loader_limit.cpp
invariant.h
java_bytecode
/
java_class_loader_limit.h
irep.h
java_bytecode
/
java_class_loader_limit.h
message.h
java_bytecode
/
java_entry_point.cpp
config.h
java_bytecode
/
java_entry_point.cpp
expr_initializer.h
java_bytecode
/
java_entry_point.cpp
fresh_symbol.h
java_bytecode
/
java_entry_point.cpp
journalling_symbol_table.h
java_bytecode
/
java_entry_point.cpp
nondet.h
java_bytecode
/
java_entry_point.cpp
string_constant.h
java_bytecode
/
java_entry_point.cpp
suffix.h
java_bytecode
/
java_entry_point.h
irep.h
java_bytecode
/
java_entry_point.h
symbol.h
java_bytecode
/
java_enum_static_init_unwind_handler.cpp
invariant.h
java_bytecode
/
java_enum_static_init_unwind_handler.cpp
suffix.h
java_bytecode
/
java_enum_static_init_unwind_handler.h
symbol_table.h
java_bytecode
/
java_enum_static_init_unwind_handler.h
threeval.h
java_bytecode
/
java_expr.h
std_expr.h
java_bytecode
/
java_local_variable_table.cpp
arith_tools.h
java_bytecode
/
java_local_variable_table.cpp
invariant.h
java_bytecode
/
java_local_variable_table.cpp
string2int.h
java_bytecode
/
java_object_factory.cpp
array_element_from_pointer.h
java_bytecode
/
java_object_factory.cpp
expr_initializer.h
java_bytecode
/
java_object_factory.cpp
interval_constraint.h
java_bytecode
/
java_object_factory.cpp
nondet.h
java_bytecode
/
java_object_factory.cpp
nondet_bool.h
java_bytecode
/
java_object_factory.cpp
pointer_offset_size.h
java_bytecode
/
java_object_factory.cpp
prefix.h
java_bytecode
/
java_object_factory.h
allocate_objects.h
java_bytecode
/
java_object_factory.h
message.h
java_bytecode
/
java_object_factory.h
nondet.h
java_bytecode
/
java_object_factory.h
std_code.h
java_bytecode
/
java_object_factory.h
symbol_table.h
java_bytecode
/
java_object_factory_parameters.cpp
cmdline.h
java_bytecode
/
java_object_factory_parameters.cpp
options.h
java_bytecode
/
java_object_factory_parameters.cpp
validate.h
java_bytecode
/
java_object_factory_parameters.h
interval_union.h
java_bytecode
/
java_object_factory_parameters.h
object_factory_parameters.h
java_bytecode
/
java_pointer_casts.cpp
namespace.h
java_bytecode
/
java_pointer_casts.cpp
std_expr.h
java_bytecode
/
java_pointer_casts.cpp
std_types.h
java_bytecode
/
java_qualifiers.cpp
make_unique.h
java_bytecode
/
java_root_class.cpp
arith_tools.h
java_bytecode
/
java_root_class.cpp
symbol.h
java_bytecode
/
java_root_class.h
std_expr.h
java_bytecode
/
java_static_initializers.cpp
arith_tools.h
java_bytecode
/
java_static_initializers.cpp
std_code.h
java_bytecode
/
java_static_initializers.cpp
std_expr.h
java_bytecode
/
java_static_initializers.cpp
std_types.h
java_bytecode
/
java_static_initializers.cpp
suffix.h
java_bytecode
/
java_static_initializers.h
message.h
java_bytecode
/
java_static_initializers.h
std_code.h
java_bytecode
/
java_static_initializers.h
symbol_table.h
java_bytecode
/
java_string_library_preprocess.cpp
allocate_objects.h
java_bytecode
/
java_string_library_preprocess.cpp
arith_tools.h
java_bytecode
/
java_string_library_preprocess.cpp
c_types.h
java_bytecode
/
java_string_library_preprocess.cpp
expr_initializer.h
java_bytecode
/
java_string_library_preprocess.cpp
fresh_symbol.h
java_bytecode
/
java_string_library_preprocess.cpp
refined_string_type.h
java_bytecode
/
java_string_library_preprocess.cpp
std_code.h
java_bytecode
/
java_string_library_preprocess.cpp
std_expr.h
java_bytecode
/
java_string_library_preprocess.cpp
string_expr.h
java_bytecode
/
java_string_library_preprocess.h
ieee_float.h
java_bytecode
/
java_string_library_preprocess.h
optional.h
java_bytecode
/
java_string_library_preprocess.h
refined_string_type.h
java_bytecode
/
java_string_library_preprocess.h
std_code.h
java_bytecode
/
java_string_library_preprocess.h
string_expr.h
java_bytecode
/
java_string_library_preprocess.h
symbol_table.h
java_bytecode
/
java_string_library_preprocess.h
ui_message.h
java_bytecode
/
java_string_literal_expr.h
expr.h
java_bytecode
/
java_string_literals.cpp
arith_tools.h
java_bytecode
/
java_string_literals.cpp
expr_initializer.h
java_bytecode
/
java_string_literals.cpp
namespace.h
java_bytecode
/
java_string_literals.cpp
string_utils.h
java_bytecode
/
java_string_literals.cpp
unicode.h
java_bytecode
/
java_string_literals.h
std_expr.h
java_bytecode
/
java_string_literals.h
symbol_table.h
java_bytecode
/
java_trace_validation.cpp
byte_operators.h
java_bytecode
/
java_trace_validation.cpp
expr.h
java_bytecode
/
java_trace_validation.cpp
expr_util.h
java_bytecode
/
java_trace_validation.cpp
simplify_expr.h
java_bytecode
/
java_trace_validation.cpp
std_expr.h
java_bytecode
/
java_trace_validation.h
optional.h
java_bytecode
/
java_trace_validation.h
validation_mode.h
java_bytecode
/
java_types.cpp
c_types.h
java_bytecode
/
java_types.cpp
ieee_float.h
java_bytecode
/
java_types.cpp
invariant.h
java_bytecode
/
java_types.cpp
prefix.h
java_bytecode
/
java_types.cpp
std_expr.h
java_bytecode
/
java_types.cpp
std_types.h
java_bytecode
/
java_types.h
c_types.h
java_bytecode
/
java_types.h
invariant.h
java_bytecode
/
java_types.h
narrow.h
java_bytecode
/
java_types.h
optional.h
java_bytecode
/
java_types.h
std_expr.h
java_bytecode
/
java_types.h
std_types.h
java_bytecode
/
java_types.h
type.h
java_bytecode
/
java_utils.cpp
fresh_symbol.h
java_bytecode
/
java_utils.cpp
invariant.h
java_bytecode
/
java_utils.cpp
mathematical_expr.h
java_bytecode
/
java_utils.cpp
mathematical_types.h
java_bytecode
/
java_utils.cpp
message.h
java_bytecode
/
java_utils.cpp
prefix.h
java_bytecode
/
java_utils.cpp
std_types.h
java_bytecode
/
java_utils.cpp
string_utils.h
java_bytecode
/
java_utils.h
message.h
java_bytecode
/
java_utils.h
nodiscard.h
java_bytecode
/
java_utils.h
optional.h
java_bytecode
/
java_utils.h
std_expr.h
java_bytecode
/
java_utils.h
symbol_table.h
jbmc
/
jbmc_main.cpp
unicode.h
jbmc
/
jbmc_parse_options.cpp
config.h
jbmc
/
jbmc_parse_options.cpp
exit_codes.h
jbmc
/
jbmc_parse_options.cpp
invariant.h
jbmc
/
jbmc_parse_options.cpp
make_unique.h
jbmc
/
jbmc_parse_options.cpp
unicode.h
jbmc
/
jbmc_parse_options.cpp
version.h
jbmc
/
jbmc_parse_options.cpp
xml.h
jbmc
/
jbmc_parse_options.h
parse_options.h
jbmc
/
jbmc_parse_options.h
timestamper.h
jbmc
/
jbmc_parse_options.h
ui_message.h
jbmc
/
jbmc_parse_options.h
validation_interface.h
jdiff
/
jdiff_main.cpp
unicode.h
jdiff
/
jdiff_parse_options.cpp
config.h
jdiff
/
jdiff_parse_options.cpp
exit_codes.h
jdiff
/
jdiff_parse_options.cpp
make_unique.h
jdiff
/
jdiff_parse_options.cpp
options.h
jdiff
/
jdiff_parse_options.cpp
version.h
jdiff
/
jdiff_parse_options.h
options.h
jdiff
/
jdiff_parse_options.h
parse_options.h
jdiff
/
jdiff_parse_options.h
timestamper.h
jdiff
/
jdiff_parse_options.h
ui_message.h
java_bytecode
/
lambda_synthesis.cpp
message.h
java_bytecode
/
lambda_synthesis.cpp
namespace.h
java_bytecode
/
lambda_synthesis.cpp
prefix.h
java_bytecode
/
lambda_synthesis.cpp
symbol_table.h
java_bytecode
/
lambda_synthesis.h
irep.h
java_bytecode
/
lazy_goto_functions_map.h
journalling_symbol_table.h
java_bytecode
/
lazy_goto_functions_map.h
message.h
java_bytecode
/
lazy_goto_functions_map.h
symbol_table_builder.h
java_bytecode
/
lazy_goto_model.cpp
config.h
java_bytecode
/
lazy_goto_model.cpp
exception_utils.h
java_bytecode
/
lazy_goto_model.cpp
journalling_symbol_table.h
java_bytecode
/
lazy_goto_model.cpp
options.h
java_bytecode
/
lazy_goto_model.cpp
unicode.h
java_bytecode
/
lift_clinit_calls.cpp
expr_iterator.h
java_bytecode
/
lift_clinit_calls.h
std_code.h
java_bytecode
/
load_method_by_regex.cpp
prefix.h
java_bytecode
/
load_method_by_regex.cpp
symbol_table.h
java_bytecode
/
remove_exceptions.cpp
c_types.h
java_bytecode
/
remove_exceptions.cpp
std_code.h
java_bytecode
/
remove_exceptions.cpp
std_expr.h
java_bytecode
/
remove_exceptions.cpp
symbol_table.h
java_bytecode
/
remove_exceptions.h
message.h
java_bytecode
/
remove_instanceof.cpp
arith_tools.h
java_bytecode
/
remove_instanceof.h
message.h
java_bytecode
/
remove_instanceof.h
symbol_table.h
java_bytecode
/
remove_java_new.cpp
arith_tools.h
java_bytecode
/
remove_java_new.cpp
c_types.h
java_bytecode
/
remove_java_new.cpp
expr_cast.h
java_bytecode
/
remove_java_new.cpp
expr_initializer.h
java_bytecode
/
remove_java_new.cpp
message.h
java_bytecode
/
remove_java_new.cpp
pointer_offset_size.h
java_bytecode
/
remove_java_new.h
symbol_table.h
java_bytecode
/
select_pointer_type.cpp
std_types.h
java_bytecode
/
select_pointer_type.h
optional.h
java_bytecode
/
select_pointer_type.h
std_types.h
java_bytecode
/
simple_method_stubbing.cpp
invariant_utils.h
java_bytecode
/
simple_method_stubbing.cpp
namespace.h
java_bytecode
/
simple_method_stubbing.cpp
std_code.h
java_bytecode
/
simple_method_stubbing.cpp
std_expr.h
java_bytecode
/
simple_method_stubbing.h
irep.h
jbmc
src
Generated by
1.8.20