CBMC
|
Create hybrid binary with goto-binary section. More...
#include "hybrid_binary.h"
#include <util/message.h>
#include <util/run.h>
#include <util/suffix.h>
#include <cstring>
#include <filesystem>
Go to the source code of this file.
Functions | |
std::string | objcopy_command (const std::string &compiler_or_linker) |
Return the name of the objcopy tool matching the chosen compiler or linker command. More... | |
int | hybrid_binary (const std::string &compiler_or_linker, const std::string &goto_binary_file, const std::string &output_file, bool building_executable, message_handlert &message_handler, bool linking_efi) |
Merges a goto binary into an object file (e.g. More... | |
Create hybrid binary with goto-binary section.
Definition in file hybrid_binary.cpp.
int hybrid_binary | ( | const std::string & | compiler_or_linker, |
const std::string & | goto_binary_file, | ||
const std::string & | output_file, | ||
bool | building_executable, | ||
message_handlert & | message_handler, | ||
bool | linking_efi = false |
||
) |
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. |
building_executable | The output_file is an executable. |
message_handler | Message handler for output. |
linking_efi | Set to true if linking x86 EFI binaries to relax error checking. |
Definition at line 39 of file hybrid_binary.cpp.
std::string objcopy_command | ( | const std::string & | compiler_or_linker | ) |
Return the name of the objcopy tool matching the chosen compiler or linker command.
compiler_or_linker | Compiler or linker commmand |
Definition at line 25 of file hybrid_binary.cpp.