CBMC
Loading...
Searching...
No Matches
hybrid_binary.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Create hybrid binary with goto-binary section
4
5Author: Daniel Kroening
6
7Date: 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
19class message_handlert;
20
30int 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
41std::string objcopy_command(const std::string &compiler_or_linker);
42
43#endif // CPROVER_GOTO_CC_HYBRID_BINARY_H
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
message_handlert
Definition message.h:27
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