linker_script_merge.h

Go to the documentation of this file.

 
#ifndef CPROVER_GOTO_CC_LINKER_SCRIPT_MERGE_H
#define CPROVER_GOTO_CC_LINKER_SCRIPT_MERGE_H
 
#include <util/message.h>
 
#include <functional>
#include <list>
#include <map>
 
class cmdlinet;
class exprt; // IWYU pragma: keep
class goto_modelt;
class symbol_exprt; // IWYU pragma: keep
class symbol_tablet;
 
class replacement_predicatet
{
public:
  replacement_predicatet(
    const std::string &description,
    const std::function<const symbol_exprt &(const exprt &)> inner_symbol,
    const std::function<bool(const exprt &)> match)
    : _description(description), _inner_symbol(inner_symbol), _match(match)
  {}
 
  const std::string &description() const
  {
    return _description;
  }
 
  const symbol_exprt &inner_symbol(const exprt &expr) const
  {
    return _inner_symbol(expr);
  }
 
  bool match(const exprt &expr) const
  {
    return _match(expr);
  };
 
private:
  std::string _description;
  std::function<const symbol_exprt&(const exprt&)> _inner_symbol;
  std::function<bool(const exprt &)> _match;
};
 
class linker_script_merget
{
public:
  int add_linker_script_definitions();
 
  typedef std::map<irep_idt, std::pair<symbol_exprt, exprt>> linker_valuest;
 
  linker_script_merget(
    const std::string &elf_binary,
    const std::string &goto_binary,
    const cmdlinet &,
    message_handlert &);
 
protected:
  const std::string &elf_binary;
  const std::string &goto_binary;
  const cmdlinet &cmdline;
  messaget log;
 
  std::list<replacement_predicatet> replacement_predicates;
 
  int get_linker_script_data(
      std::list<irep_idt> &linker_defined_symbols,
      const symbol_tablet &symbol_table,
      const std::string &out_file,
      const std::string &def_out_file);
 
  int ls_data2instructions(
    jsont &data,
    const std::string &linker_script,
    symbol_tablet &symbol_table,
    linker_valuest &linker_values);
 
  int pointerize_linker_defined_symbols(goto_modelt &, const linker_valuest &);
 
  int pointerize_subexprs_of(
    exprt &expr,
    std::list<symbol_exprt> &to_pointerize,
    const linker_valuest &linker_values);
 
  int replace_expr(
      exprt &old_expr,
      const linker_valuest &linker_values,
      const symbol_exprt &old_symbol,
      const irep_idt &ident,
      const std::string &shape);
 
  void symbols_to_pointerize(
      const linker_valuest &linker_values,
      const exprt &expr,
      std::list<symbol_exprt> &to_pointerize) const;
 
  int goto_and_object_mismatch(
    const std::list<irep_idt> &linker_defined_symbols,
    linker_valuest &linker_values);
 
  int linker_data_is_malformed(const jsont &data) const;
};
 
#endif // CPROVER_GOTO_CC_LINKER_SCRIPT_MERGE_H