cprover
Loading...
Searching...
No Matches

java_bytecode → ansi-c Relation

File in jbmc/src/java_bytecodeIncludes file in ansi-c
assignments_from_json.cppallocate_objects.h
convert_java_nondet.cppgoto-conversion / goto_convert.h
expr2java.cppc_misc.h
expr2java.cppexpr2c_class.h
expr2java.hexpr2c_class.h
java_object_factory.hallocate_objects.h
java_qualifiers.hc_qualifiers.h
java_string_library_preprocess.cppallocate_objects.h
lazy_goto_functions_map.hgoto-conversion / goto_convert_functions.h
nondet.cppallocate_objects.h
remove_java_new.cppgoto-conversion / goto_convert.h