java_bytecode → src Relation

File in jbmc/src/java_bytecode	Includes file in src
assignments_from_json.cpp	ansi-c / allocate_objects.h
assignments_from_json.cpp	util / arith_tools.h
assignments_from_json.cpp	util / array_element_from_pointer.h
assignments_from_json.cpp	goto-programs / class_identifier.h
assignments_from_json.cpp	util / expr_initializer.h
assignments_from_json.cpp	goto-programs / goto_instruction_code.h
assignments_from_json.cpp	util / ieee_float.h
assignments_from_json.cpp	util / json.h
assignments_from_json.cpp	util / symbol_table_base.h
assignments_from_json.cpp	util / unicode.h
character_refine_preprocess.cpp	util / arith_tools.h
character_refine_preprocess.cpp	util / bitvector_expr.h
character_refine_preprocess.cpp	goto-programs / goto_instruction_code.h
character_refine_preprocess.cpp	util / std_expr.h
character_refine_preprocess.h	util / mp_arith.h
character_refine_preprocess.h	util / std_code_base.h
ci_lazy_methods.cpp	util / expr_iterator.h
ci_lazy_methods.cpp	util / message.h
ci_lazy_methods.cpp	util / namespace.h
ci_lazy_methods.cpp	goto-programs / resolve_inherited_component.h
ci_lazy_methods.cpp	util / suffix.h
ci_lazy_methods.cpp	util / symbol_table.h
ci_lazy_methods.h	goto-programs / class_hierarchy.h
ci_lazy_methods.h	util / irep.h
ci_lazy_methods_needed.cpp	util / namespace.h
ci_lazy_methods_needed.cpp	goto-programs / resolve_inherited_component.h
ci_lazy_methods_needed.cpp	util / std_types.h
ci_lazy_methods_needed.cpp	util / symbol_table_base.h
ci_lazy_methods_needed.h	util / irep.h
code_with_references.cpp	util / arith_tools.h
code_with_references.h	util / std_code.h
convert_java_nondet.cpp	ansi-c / goto-conversion / goto_convert.h
convert_java_nondet.cpp	goto-programs / goto_model.h
convert_java_nondet.cpp	goto-programs / remove_skip.h
convert_java_nondet.h	util / irep.h
create_array_with_type_intrinsic.cpp	util / fresh_symbol.h
create_array_with_type_intrinsic.cpp	util / namespace.h
create_array_with_type_intrinsic.cpp	util / pointer_expr.h
create_array_with_type_intrinsic.cpp	util / std_code.h
create_array_with_type_intrinsic.cpp	util / symbol_table_base.h
create_array_with_type_intrinsic.h	util / std_code_base.h
expr2java.cpp	util / arith_tools.h
expr2java.cpp	ansi-c / c_misc.h
expr2java.cpp	ansi-c / expr2c_class.h
expr2java.cpp	util / ieee_float.h
expr2java.cpp	util / namespace.h
expr2java.cpp	util / std_expr.h
expr2java.cpp	util / unicode.h
expr2java.h	ansi-c / expr2c_class.h
generic_parameter_specialization_map.h	util / string_utils.h
java_bmc_util.cpp	goto-programs / abstract_goto_model.h
java_bmc_util.cpp	goto-checker / symex_bmc.h
java_bytecode_concurrency_instrumentation.cpp	util / arith_tools.h
java_bytecode_concurrency_instrumentation.cpp	util / cprover_prefix.h
java_bytecode_concurrency_instrumentation.cpp	util / expr_iterator.h
java_bytecode_concurrency_instrumentation.cpp	util / message.h
java_bytecode_concurrency_instrumentation.cpp	util / namespace.h
java_bytecode_concurrency_instrumentation.cpp	util / std_types.h
java_bytecode_concurrency_instrumentation.cpp	util / symbol_table_base.h
java_bytecode_convert_class.cpp	util / arith_tools.h
java_bytecode_convert_class.cpp	util / expr_initializer.h
java_bytecode_convert_class.cpp	util / namespace.h
java_bytecode_convert_class.cpp	util / prefix.h
java_bytecode_convert_class.cpp	util / std_expr.h
java_bytecode_convert_class.cpp	util / symbol_table_base.h
java_bytecode_convert_method.cpp	util / arith_tools.h
java_bytecode_convert_method.cpp	util / bitvector_expr.h
java_bytecode_convert_method.cpp	util / c_types.h
java_bytecode_convert_method.cpp	util / expr_initializer.h
java_bytecode_convert_method.cpp	util / floatbv_expr.h
java_bytecode_convert_method.cpp	util / ieee_float.h
java_bytecode_convert_method.cpp	util / invariant.h
java_bytecode_convert_method.cpp	util / namespace.h
java_bytecode_convert_method.cpp	util / prefix.h
java_bytecode_convert_method.cpp	util / prefix_filter.h
java_bytecode_convert_method.cpp	goto-programs / resolve_inherited_component.h
java_bytecode_convert_method.cpp	util / std_expr.h
java_bytecode_convert_method.cpp	util / symbol_table_base.h
java_bytecode_convert_method.cpp	util / threeval.h
java_bytecode_convert_method.cpp	analyses / uncaught_exceptions_analysis.h
java_bytecode_convert_method_class.h	analyses / cfg_dominators.h
java_bytecode_convert_method_class.h	util / expanding_vector.h
java_bytecode_convert_method_class.h	util / message.h
java_bytecode_convert_method_class.h	util / namespace.h
java_bytecode_convert_method_class.h	util / std_code.h
java_bytecode_convert_method_class.h	util / std_expr.h
java_bytecode_instrument.cpp	util / arith_tools.h
java_bytecode_instrument.cpp	util / c_types.h
java_bytecode_instrument.cpp	goto-programs / goto_instruction_code.h
java_bytecode_instrument.cpp	util / std_code.h
java_bytecode_instrument.cpp	util / symbol_table_base.h
java_bytecode_internal_additions.cpp	goto-programs / adjust_float_expressions.h
java_bytecode_internal_additions.cpp	util / c_types.h
java_bytecode_internal_additions.cpp	util / pointer_expr.h
java_bytecode_internal_additions.cpp	util / std_types.h
java_bytecode_internal_additions.cpp	util / symbol_table_base.h
java_bytecode_language.cpp	goto-programs / class_hierarchy.h
java_bytecode_language.cpp	util / cmdline.h
java_bytecode_language.cpp	util / config.h
java_bytecode_language.cpp	util / expr_iterator.h
java_bytecode_language.cpp	util / invariant.h
java_bytecode_language.cpp	util / journalling_symbol_table.h
java_bytecode_language.cpp	json / json_parser.h
java_bytecode_language.cpp	util / options.h
java_bytecode_language.cpp	linking / static_lifetime_init.h
java_bytecode_language.cpp	util / suffix.h
java_bytecode_language.cpp	util / symbol_table_builder.h
java_bytecode_language.h	util / json.h
java_bytecode_language.h	langapi / language.h
java_bytecode_language.h	util / prefix_filter.h
java_bytecode_language.h	util / symbol.h
java_bytecode_parse_tree.cpp	util / namespace.h
java_bytecode_parse_tree.cpp	util / symbol_table.h
java_bytecode_parse_tree.h	util / std_types.h
java_bytecode_parser.cpp	util / arith_tools.h
java_bytecode_parser.cpp	util / ieee_float.h
java_bytecode_parser.cpp	util / parser.h
java_bytecode_parser.cpp	util / std_expr.h
java_bytecode_parser.cpp	util / string_constant.h
java_bytecode_parser.h	util / irep.h
java_bytecode_typecheck.h	util / journalling_symbol_table.h
java_bytecode_typecheck.h	util / namespace.h
java_bytecode_typecheck.h	util / typecheck.h
java_bytecode_typecheck_code.cpp	goto-programs / goto_instruction_code.h
java_bytecode_typecheck_code.cpp	util / std_code.h
java_bytecode_typecheck_expr.cpp	util / pointer_expr.h
java_bytecode_typecheck_expr.cpp	util / std_code.h
java_bytecode_typecheck_type.cpp	util / invariant.h
java_bytecode_typecheck_type.cpp	util / std_types.h
java_class_loader.cpp	util / message.h
java_class_loader.cpp	util / suffix.h
java_class_loader.h	util / fixed_keys_map_wrapper.h
java_class_loader_base.cpp	util / message.h
java_class_loader_base.cpp	util / prefix.h
java_class_loader_base.cpp	util / suffix.h
java_class_loader_base.h	util / irep.h
java_class_loader_limit.cpp	util / invariant.h
java_class_loader_limit.cpp	json / json_parser.h
java_class_loader_limit.h	util / message.h
java_entry_point.cpp	goto-programs / adjust_float_expressions.h
java_entry_point.cpp	goto-programs / class_identifier.h
java_entry_point.cpp	util / config.h
java_entry_point.cpp	util / expr_initializer.h
java_entry_point.cpp	goto-programs / goto_functions.h
java_entry_point.cpp	util / journalling_symbol_table.h
java_entry_point.cpp	util / message.h
java_entry_point.cpp	linking / static_lifetime_init.h
java_entry_point.cpp	util / suffix.h
java_entry_point.h	util / irep.h
java_entry_point.h	util / symbol.h
java_enum_static_init_unwind_handler.cpp	goto-symex / call_stack.h
java_enum_static_init_unwind_handler.cpp	util / invariant.h
java_enum_static_init_unwind_handler.cpp	util / ssa_expr.h
java_enum_static_init_unwind_handler.cpp	util / suffix.h
java_enum_static_init_unwind_handler.h	util / threeval.h
java_expr.h	util / std_expr.h
java_local_variable_table.cpp	util / arith_tools.h
java_local_variable_table.cpp	util / invariant.h
java_local_variable_table.cpp	util / string2int.h
java_local_variable_table.cpp	util / symbol_table_base.h
java_multi_path_symex_checker.h	goto-checker / multi_path_symex_checker.h
java_multi_path_symex_only_checker.h	goto-checker / multi_path_symex_only_checker.h
java_object_factory.cpp	util / arith_tools.h
java_object_factory.cpp	util / array_element_from_pointer.h
java_object_factory.cpp	goto-programs / class_identifier.h
java_object_factory.cpp	util / expr_initializer.h
java_object_factory.cpp	util / fresh_symbol.h
java_object_factory.cpp	goto-programs / goto_functions.h
java_object_factory.cpp	util / interval_constraint.h
java_object_factory.cpp	util / message.h
java_object_factory.cpp	util / nondet_bool.h
java_object_factory.cpp	util / symbol_table_base.h
java_object_factory.h	ansi-c / allocate_objects.h
java_object_factory.h	util / std_code.h
java_object_factory_parameters.cpp	util / cmdline.h
java_object_factory_parameters.cpp	util / exception_utils.h
java_object_factory_parameters.cpp	util / options.h
java_object_factory_parameters.h	util / interval_union.h
java_object_factory_parameters.h	util / object_factory_parameters.h
java_pointer_casts.cpp	util / expr_util.h
java_pointer_casts.cpp	util / namespace.h
java_pointer_casts.cpp	util / pointer_expr.h
java_pointer_casts.cpp	util / std_expr.h
java_qualifiers.h	ansi-c / c_qualifiers.h
java_root_class.cpp	util / arith_tools.h
java_root_class.cpp	goto-programs / class_identifier.h
java_root_class.cpp	util / symbol.h
java_root_class.h	util / irep.h
java_single_path_symex_checker.h	goto-checker / single_path_symex_checker.h
java_single_path_symex_only_checker.h	goto-checker / single_path_symex_only_checker.h
java_static_initializers.cpp	util / arith_tools.h
java_static_initializers.cpp	goto-programs / class_hierarchy.h
java_static_initializers.cpp	util / cprover_prefix.h
java_static_initializers.cpp	goto-programs / goto_instruction_code.h
java_static_initializers.cpp	util / json.h
java_static_initializers.cpp	util / std_code.h
java_static_initializers.cpp	util / suffix.h
java_static_initializers.cpp	util / symbol_table_base.h
java_static_initializers.h	util / std_code.h
java_string_library_preprocess.cpp	ansi-c / allocate_objects.h
java_string_library_preprocess.cpp	util / arith_tools.h
java_string_library_preprocess.cpp	util / bitvector_expr.h
java_string_library_preprocess.cpp	util / c_types.h
java_string_library_preprocess.cpp	goto-programs / class_identifier.h
java_string_library_preprocess.cpp	util / expr_initializer.h
java_string_library_preprocess.cpp	util / floatbv_expr.h
java_string_library_preprocess.cpp	util / ieee_float.h
java_string_library_preprocess.cpp	util / refined_string_type.h
java_string_library_preprocess.cpp	util / std_code.h
java_string_library_preprocess.cpp	util / string_expr.h
java_string_library_preprocess.cpp	util / symbol_table_base.h
java_string_library_preprocess.h	goto-programs / goto_instruction_code.h
java_string_library_preprocess.h	util / refined_string_type.h
java_string_library_preprocess.h	util / std_code.h
java_string_library_preprocess.h	util / string_expr.h
java_string_literal_expr.h	util / expr_cast.h
java_string_literals.cpp	util / arith_tools.h
java_string_literals.cpp	util / expr_initializer.h
java_string_literals.cpp	util / namespace.h
java_string_literals.cpp	linking / static_lifetime_init.h
java_string_literals.cpp	util / string_utils.h
java_string_literals.cpp	util / symbol_table_base.h
java_string_literals.cpp	util / unicode.h
java_string_literals.h	util / std_expr.h
java_trace_validation.cpp	util / byte_operators.h
java_trace_validation.cpp	util / expr_util.h
java_trace_validation.cpp	goto-programs / goto_trace.h
java_trace_validation.cpp	util / pointer_expr.h
java_trace_validation.cpp	util / simplify_expr.h
java_trace_validation.cpp	util / std_expr.h
java_trace_validation.h	util / validation_mode.h
java_types.cpp	util / c_types.h
java_types.cpp	util / ieee_float.h
java_types.cpp	util / invariant.h
java_types.cpp	util / std_expr.h
java_types.h	util / c_types.h
java_types.h	util / invariant.h
java_types.h	util / narrow.h
java_types.h	util / std_expr.h
java_utils.cpp	util / fresh_symbol.h
java_utils.cpp	util / invariant.h
java_utils.cpp	util / mathematical_expr.h
java_utils.cpp	util / mathematical_types.h
java_utils.cpp	util / message.h
java_utils.cpp	util / prefix.h
java_utils.cpp	util / std_types.h
java_utils.cpp	util / string_utils.h
java_utils.cpp	util / symbol_table_base.h
java_utils.h	util / pointer_expr.h
java_utils.h	goto-programs / resolve_inherited_component.h
lambda_synthesis.cpp	util / message.h
lambda_synthesis.cpp	util / namespace.h
lambda_synthesis.cpp	util / symbol_table_base.h
lambda_synthesis.h	util / irep.h
lazy_goto_functions_map.h	ansi-c / goto-conversion / goto_convert_functions.h
lazy_goto_functions_map.h	goto-programs / goto_functions.h
lazy_goto_functions_map.h	util / journalling_symbol_table.h
lazy_goto_functions_map.h	langapi / language_file.h
lazy_goto_functions_map.h	util / message.h
lazy_goto_functions_map.h	util / symbol_table_builder.h
lazy_goto_model.cpp	util / config.h
lazy_goto_model.cpp	util / exception_utils.h
lazy_goto_model.cpp	goto-programs / initialize_goto_model.h
lazy_goto_model.cpp	util / journalling_symbol_table.h
lazy_goto_model.cpp	langapi / language.h
lazy_goto_model.cpp	langapi / mode.h
lazy_goto_model.cpp	goto-programs / read_goto_binary.h
lazy_goto_model.h	goto-programs / abstract_goto_model.h
lazy_goto_model.h	goto-programs / goto_model.h
lazy_goto_model.h	langapi / language_file.h
lift_clinit_calls.cpp	util / expr_iterator.h
lift_clinit_calls.cpp	goto-programs / goto_instruction_code.h
lift_clinit_calls.h	util / std_code_base.h
load_method_by_regex.cpp	util / prefix.h
load_method_by_regex.cpp	util / symbol_table_base.h
load_method_by_regex.h	util / irep.h
nondet.cpp	ansi-c / allocate_objects.h
nondet.cpp	util / arith_tools.h
nondet.h	util / mp_arith.h
nondet.h	util / std_code.h
remove_exceptions.cpp	util / c_types.h
remove_exceptions.cpp	goto-programs / goto_model.h
remove_exceptions.cpp	util / pointer_expr.h
remove_exceptions.cpp	goto-programs / remove_skip.h
remove_exceptions.cpp	linking / static_lifetime_init.h
remove_exceptions.cpp	util / std_code.h
remove_exceptions.cpp	analyses / uncaught_exceptions_analysis.h
remove_exceptions.h	util / irep.h
remove_instanceof.cpp	util / arith_tools.h
remove_instanceof.cpp	goto-programs / class_hierarchy.h
remove_instanceof.cpp	goto-programs / class_identifier.h
remove_instanceof.cpp	goto-programs / goto_model.h
remove_instanceof.h	goto-programs / goto_functions.h
remove_java_new.cpp	util / arith_tools.h
remove_java_new.cpp	util / c_types.h
remove_java_new.cpp	goto-programs / class_identifier.h
remove_java_new.cpp	util / expr_initializer.h
remove_java_new.cpp	ansi-c / goto-conversion / goto_convert.h
remove_java_new.cpp	goto-programs / goto_model.h
remove_java_new.cpp	util / namespace.h
remove_java_new.cpp	util / pointer_offset_size.h
remove_java_new.cpp	util / std_code.h
remove_java_new.h	goto-programs / goto_functions.h
replace_java_nondet.cpp	goto-programs / goto_model.h
replace_java_nondet.cpp	goto-programs / remove_skip.h
replace_java_nondet.cpp	util / std_code.h
select_pointer_type.cpp	util / std_types.h
select_pointer_type.h	util / pointer_expr.h
simple_method_stubbing.cpp	util / invariant_utils.h
simple_method_stubbing.cpp	util / namespace.h
simple_method_stubbing.cpp	util / std_code.h
simple_method_stubbing.cpp	util / symbol_table_base.h
simple_method_stubbing.h	util / irep.h
synthetic_methods_map.h	util / irep.h