CBMC
hybrid_binary.h File Reference

Create hybrid binary with goto-binary section. More...

#include <string>
+ 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, bool building_executable, message_handlert &message_handler, bool linking_efi=false)
 Merges a goto binary into an object file (e.g. More...
 
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...
 

Detailed Description

Create hybrid binary with goto-binary section.

Definition in file hybrid_binary.h.

Function Documentation

◆ hybrid_binary()

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)

Parameters
compiler_or_linkerThe name of the gcc or ld executable, used to deduce the name of objcopy
goto_binary_fileThe file name of the goto binary
output_fileThe name of the object file; the result is stored here.
building_executableThe output_file is an executable.
message_handlerMessage handler for output.
linking_efiSet to true if linking x86 EFI binaries to relax error checking.

Definition at line 39 of file hybrid_binary.cpp.

◆ objcopy_command()

std::string objcopy_command ( const std::string &  compiler_or_linker)

Return the name of the objcopy tool matching the chosen compiler or linker command.

Parameters
compiler_or_linkerCompiler or linker commmand

Definition at line 25 of file hybrid_binary.cpp.