CBMC
hybrid_binary.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Create hybrid binary with goto-binary section
4 
5 Author: Daniel Kroening
6 
7 Date: May 2018
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_HYBRID_BINARY_H
15 #define CPROVER_GOTO_CC_HYBRID_BINARY_H
16 
17 #include <string>
18 
19 class message_handlert;
20 
30 int hybrid_binary(
31  const std::string &compiler_or_linker,
32  const std::string &goto_binary_file,
33  const std::string &output_file,
34  bool building_executable,
35  message_handlert &message_handler,
36  bool linking_efi = false);
37 
41 std::string objcopy_command(const std::string &compiler_or_linker);
42 
43 #endif // CPROVER_GOTO_CC_HYBRID_BINARY_H
message_handlert
Definition: message.h:28
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.
Definition: hybrid_binary.cpp:39
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.
Definition: hybrid_binary.cpp:25