cprover

java_bytecode → goto-programs Relation

File in jbmc/src/java_bytecodeIncludes file in goto-programs
assignments_from_json.cppclass_identifier.h
ci_lazy_methods.cppresolve_inherited_component.h
ci_lazy_methods.hclass_hierarchy.h
ci_lazy_methods_needed.cppresolve_inherited_component.h
convert_java_nondet.cppgoto_convert.h
convert_java_nondet.cppgoto_model.h
convert_java_nondet.cppremove_skip.h
create_array_with_type_intrinsic.cppclass_identifier.h
java_bmc_util.cppabstract_goto_model.h
java_bytecode_convert_class.cppclass_identifier.h
java_bytecode_convert_method.cppcfg.h
java_bytecode_convert_method.cppclass_hierarchy.h
java_bytecode_convert_method.cppremove_returns.h
java_bytecode_convert_method.cppresolve_inherited_component.h
java_bytecode_instrument.cppgoto_functions.h
java_bytecode_language.cppclass_hierarchy.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_root_class.cppclass_identifier.h
java_static_initializers.cppclass_hierarchy.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
remove_exceptions.cppremove_skip.h
remove_exceptions.hclass_hierarchy.h
remove_exceptions.hgoto_model.h
remove_instanceof.cppclass_hierarchy.h
remove_instanceof.cppclass_identifier.h
remove_instanceof.cppgoto_convert.h
remove_instanceof.hclass_hierarchy.h
remove_instanceof.hgoto_functions.h
remove_instanceof.hgoto_model.h
remove_java_new.cppclass_identifier.h
remove_java_new.cppgoto_convert.h
remove_java_new.hgoto_functions.h
remove_java_new.hgoto_model.h
replace_java_nondet.cppgoto_convert.h
replace_java_nondet.cppgoto_model.h
replace_java_nondet.cppremove_skip.h