cprover

java_bytecode → goto-programs Relation

File in jbmc/src/java_bytecodeIncludes file in goto-programs
assignments_from_json.cppallocate_objects.h
assignments_from_json.cppclass_identifier.h
character_refine_preprocess.hgoto_instruction_code.h
ci_lazy_methods.cppresolve_inherited_component.h
ci_lazy_methods.hclass_hierarchy.h
ci_lazy_methods_needed.cppresolve_inherited_component.h
code_with_references.cppgoto_instruction_code.h
convert_java_nondet.cppgoto_convert.h
convert_java_nondet.cppgoto_model.h
convert_java_nondet.cppremove_skip.h
goto_check_java.cppgoto_model.h
goto_check_java.cppremove_skip.h
goto_check_java.hgoto_functions.h
java_bmc_util.cppabstract_goto_model.h
java_bytecode_convert_method.cppresolve_inherited_component.h
java_bytecode_instrument.cppgoto_instruction_code.h
java_bytecode_internal_additions.cppadjust_float_expressions.h
java_bytecode_language.cppclass_hierarchy.h
java_bytecode_typecheck_code.cppgoto_instruction_code.h
java_entry_point.cppadjust_float_expressions.h
java_entry_point.cppclass_identifier.h
java_entry_point.cppgoto_functions.h
java_object_factory.cppclass_identifier.h
java_object_factory.cppgoto_functions.h
java_object_factory.hallocate_objects.h
java_root_class.cppclass_identifier.h
java_static_initializers.cppclass_hierarchy.h
java_string_library_preprocess.cppallocate_objects.h
java_string_library_preprocess.cppclass_identifier.h
java_trace_validation.cppgoto_trace.h
java_utils.hresolve_inherited_component.h
lazy_goto_functions_map.hgoto_convert_functions.h
lazy_goto_functions_map.hgoto_functions.h
lazy_goto_model.cppread_goto_binary.h
lazy_goto_model.cpprebuild_goto_start_function.h
lazy_goto_model.habstract_goto_model.h
lazy_goto_model.hgoto_convert_functions.h
lazy_goto_model.hgoto_model.h
lift_clinit_calls.cppgoto_instruction_code.h
nondet.cppallocate_objects.h
remove_exceptions.cppgoto_model.h
remove_exceptions.cppremove_skip.h
remove_instanceof.cppclass_hierarchy.h
remove_instanceof.cppclass_identifier.h
remove_instanceof.cppgoto_model.h
remove_instanceof.hgoto_functions.h
remove_java_new.cppclass_identifier.h
remove_java_new.cppgoto_convert.h
remove_java_new.cppgoto_model.h
remove_java_new.hgoto_functions.h
replace_java_nondet.cppgoto_model.h
replace_java_nondet.cppremove_skip.h