cprover
hybrid_binary.cpp File Reference

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

#include "hybrid_binary.h"
#include <util/run.h>
#include <util/suffix.h>
#include <cstring>
Include dependency graph for hybrid_binary.cpp:

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 &message_handler)
 Merges a goto binary into an object file (e.g. More...
 

Detailed Description

Create hybrid binary with goto-binary section.

Definition in file hybrid_binary.cpp.

Function Documentation

◆ hybrid_binary()

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)

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.

Definition at line 19 of file hybrid_binary.cpp.

References messaget::debug(), messaget::eom(), messaget::error(), has_suffix(), message_handler, and run().

Referenced by gcc_modet::gcc_hybrid_binary(), and ld_modet::ld_hybrid_binary().