mirror of
git://sourceware.org/git/libabigail.git
synced 2025-02-13 03:57:33 +00:00
e9c66d2d75
When analyzing the Linux Kernel (with e.g abidw) and providing a symbol whitelist the DWARF reader performs a speed optimization which is that it does not read the symbol table of the kernel binary. To know if a function is to be suppressed (because it doesn't belong to the whitelist, for instance) dwarf_reader::function_is_suppressed actually tries to see if the address of the function corresponds to the address of an ELF symbol that is publicly exported, before looking at if the function was suppressed by a suppression specification. But then, when a whitelist is provided and the speed optimization of not reading the symbol table is at play, there is no information about ELF symbol addressed around. So dwarf_reader::function_is_suppressed almost always supposes that the function is suppressed. This patch fixes that by not trying to look at the address of the function/variable when the symbol table optimization is on. * include/abg-dwarf-reader.h (get_ignore_symbol_table): Take a const read_context&. * src/abg-dwarf-reader.cc (get_ignore_symbol_table): Likewise. (function_is_suppressed): When the symbol table optimization is in flight -- that is, when no symbol table has been loaded -- do not try to see if a given function symbol was exported at the ELF level or not. Just look at if the function was suppressed or not. (variable_is_suppressed): Likewise for variables. Signed-off-by: Dodji Seketeli <dodji@redhat.com>
214 lines
5.1 KiB
C++
214 lines
5.1 KiB
C++
// -*- Mode: C++ -*-
|
|
//
|
|
// Copyright (C) 2013-2019 Red Hat, Inc.
|
|
//
|
|
// This file is part of the GNU Application Binary Interface Generic
|
|
// Analysis and Instrumentation Library (libabigail). This library is
|
|
// free software; you can redistribute it and/or modify it under the
|
|
// terms of the GNU Lesser General Public License as published by the
|
|
// Free Software Foundation; either version 3, or (at your option) any
|
|
// later version.
|
|
|
|
// This library is distributed in the hope that it will be useful, but
|
|
// WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
// General Lesser Public License for more details.
|
|
|
|
// You should have received a copy of the GNU Lesser General Public
|
|
// License along with this program; see the file COPYING-LGPLV3. If
|
|
// not, see <http://www.gnu.org/licenses/>.
|
|
//
|
|
// Author: Dodji Seketeli
|
|
|
|
/// @file
|
|
///
|
|
/// This file contains the declarations of the entry points to
|
|
/// de-serialize an instance of @ref abigail::corpus from a file in
|
|
/// elf format, containing dwarf information.
|
|
|
|
#include <ostream>
|
|
#include <elfutils/libdwfl.h>
|
|
#include "abg-corpus.h"
|
|
#include "abg-suppression.h"
|
|
|
|
#ifndef __ABG_DWARF_READER_H__
|
|
#define __ABG_DWARF_READER_H__
|
|
|
|
namespace abigail
|
|
{
|
|
|
|
/// The namespace for the DWARF reader.
|
|
namespace dwarf_reader
|
|
{
|
|
|
|
using namespace abigail::ir;
|
|
|
|
/// The status of the @ref read_corpus_from_elf() call.
|
|
enum status
|
|
{
|
|
/// The status is in an unknown state
|
|
STATUS_UNKNOWN = 0,
|
|
|
|
/// This status is for when the call went OK.
|
|
STATUS_OK = 1,
|
|
|
|
/// This status is for when the debug info could not be read.
|
|
STATUS_DEBUG_INFO_NOT_FOUND = 1 << 1,
|
|
|
|
/// This status is for when the alternate debug info could not be
|
|
/// found.
|
|
STATUS_ALT_DEBUG_INFO_NOT_FOUND = 1 << 2,
|
|
|
|
/// This status is for when the symbols of the ELF binaries could
|
|
/// not be read.
|
|
STATUS_NO_SYMBOLS_FOUND = 1 << 3,
|
|
};
|
|
|
|
string
|
|
status_to_diagnostic_string(status s);
|
|
|
|
status
|
|
operator|(status, status);
|
|
|
|
status
|
|
operator&(status, status);
|
|
|
|
status&
|
|
operator|=(status&, status);
|
|
|
|
status&
|
|
operator&=(status&, status);
|
|
|
|
/// The kind of ELF file we are looking at.
|
|
enum elf_type
|
|
{
|
|
/// A normal executable binary
|
|
ELF_TYPE_EXEC,
|
|
/// A Position Independant Executable binary
|
|
ELF_TYPE_PI_EXEC,
|
|
/// A dynamic shared object, a.k.a shared library binrary.
|
|
ELF_TYPE_DSO,
|
|
/// A relocatalbe binary.
|
|
ELF_TYPE_RELOCATABLE,
|
|
/// An unknown kind of binary.
|
|
ELF_TYPE_UNKNOWN
|
|
};
|
|
|
|
class read_context;
|
|
|
|
/// A convenience typedef for a smart pointer to a
|
|
/// dwarf_reader::read_context.
|
|
typedef shared_ptr<read_context> read_context_sptr;
|
|
|
|
read_context_sptr
|
|
create_read_context(const std::string& elf_path,
|
|
const vector<char**>& debug_info_root_paths,
|
|
ir::environment* environment,
|
|
bool read_all_types = false,
|
|
bool linux_kernel_mode = false);
|
|
|
|
const string&
|
|
read_context_get_path(const read_context&);
|
|
|
|
void
|
|
reset_read_context(read_context_sptr &ctxt,
|
|
const std::string& elf_path,
|
|
const vector<char**>& debug_info_root_paths,
|
|
ir::environment* environment,
|
|
bool read_all_types = false,
|
|
bool linux_kernel_mode = false);
|
|
|
|
void
|
|
add_read_context_suppressions(read_context& ctxt,
|
|
const suppr::suppressions_type& supprs);
|
|
|
|
void
|
|
set_read_context_corpus_group(read_context& ctxt, corpus_group_sptr& group);
|
|
|
|
corpus_sptr
|
|
read_corpus_from_elf(read_context& ctxt, status& stat);
|
|
|
|
corpus_sptr
|
|
read_corpus_from_elf(const std::string& elf_path,
|
|
const vector<char**>& debug_info_root_paths,
|
|
ir::environment* environment,
|
|
bool load_all_types,
|
|
status&);
|
|
|
|
corpus_sptr
|
|
read_and_add_corpus_to_group_from_elf(read_context&, corpus_group&, status&);
|
|
|
|
bool
|
|
lookup_symbol_from_elf(const environment* env,
|
|
const string& elf_path,
|
|
const string& symbol_name,
|
|
bool demangle,
|
|
vector<elf_symbol_sptr>& symbols);
|
|
|
|
bool
|
|
lookup_public_function_symbol_from_elf(const environment* env,
|
|
const string& path,
|
|
const string& symname,
|
|
vector<elf_symbol_sptr>& func_syms);
|
|
|
|
bool
|
|
refers_to_alt_debug_info(const read_context& ctxt,
|
|
string& alt_di_path);
|
|
|
|
status
|
|
has_alt_debug_info(read_context& ctxt,
|
|
bool& has_alt_di,
|
|
string& alt_debug_info_path);
|
|
|
|
status
|
|
has_alt_debug_info(const string& elf_path,
|
|
char** debug_info_root_path,
|
|
bool& has_alt_di,
|
|
string& alt_debug_info_path);
|
|
|
|
bool
|
|
get_soname_of_elf_file(const string& path, string& soname);
|
|
|
|
bool
|
|
get_type_of_elf_file(const string& path, elf_type& type);
|
|
|
|
|
|
void
|
|
set_debug_info_root_path(read_context& ctxt,
|
|
char** path);
|
|
|
|
char**
|
|
get_debug_info_root_path(read_context& ctxt,
|
|
char**& path);
|
|
|
|
bool
|
|
get_show_stats(read_context& ctxt);
|
|
|
|
void
|
|
set_show_stats(read_context& ctxt,
|
|
bool f);
|
|
|
|
void
|
|
set_do_log(read_context& ctxt, bool f);
|
|
|
|
void
|
|
set_ignore_symbol_table(read_context &ctxt, bool f);
|
|
|
|
bool
|
|
get_ignore_symbol_table(const read_context &ctxt);
|
|
|
|
void
|
|
set_environment(read_context& ctxt,
|
|
ir::environment*);
|
|
|
|
const environment_sptr&
|
|
get_environment(const read_context& ctxt);
|
|
|
|
environment_sptr&
|
|
get_environment(read_context& ctxt);
|
|
}// end namespace dwarf_reader
|
|
|
|
}// end namespace abigail
|
|
|
|
#endif //__ABG_DWARF_READER_H__
|