|
cprover
|
Create hybrid binary with goto-binary section. More...
Include dependency graph for hybrid_binary.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| int | hybrid_binary (const std::string &compiler_or_linker, const std::string &goto_binary_file, const std::string &output_file, message_handlert &) |
| Merges a goto binary into an object file (e.g. More... | |
Create hybrid binary with goto-binary section.
Definition in file hybrid_binary.h.
| int hybrid_binary | ( | const std::string & | compiler_or_linker, |
| const std::string & | goto_binary_file, | ||
| const std::string & | output_file, | ||
| message_handlert & | |||
| ) |
Merges a goto binary into an object file (e.g.
ELF)
| compiler_or_linker | The name of the gcc or ld executable, used to deduce the name of objcopy |
| goto_binary_file | The file name of the goto binary |
| output_file | The name of the object file; the result is stored here. |
Definition at line 19 of file hybrid_binary.cpp.