#include "../libdw/dwarf.h"
#include "../libdw/libdwP.h"
#include "dwarfstrings.h"
+#include "dwarflint.h"
/* Bug report address. */
const char *argp_program_bug_address = PACKAGE_BUGREPORT;
process_file (int fd, Dwarf *dwarf, const char *fname,
size_t size, bool only_one);
-/* Functions and data structures describing location in Dwarf. */
-
-enum section_id
-{
- sec_invalid = 0,
- sec_info,
- sec_abbrev,
- sec_aranges,
- sec_pubnames,
- sec_pubtypes,
- sec_str,
- sec_loc,
- sec_locexpr, /* Not a section, but a portion of file that contains a
- location expression. */
- sec_ranges,
-};
-
-struct where
-{
- enum section_id section;
- uint64_t addr1; // E.g. a CU offset.
- uint64_t addr2; // E.g. a DIE address.
- uint64_t addr3; // E.g. an attribute.
- struct where *ref; // Related reference, e.g. an abbrev related to given DIE.
- struct where *next; // Hierarchically superior location.
-};
-
-#define WHERE(SECTION, NEXT) \
- ((struct where) \
- {(SECTION), (uint64_t)-1, (uint64_t)-1, (uint64_t)-1, NULL, NEXT})
-
-static const char *where_fmt (struct where *wh, char *ptr);
-static void where_fmt_chain (struct where *wh, const char *severity);
-static void where_reset_1 (struct where *wh, uint64_t addr);
-static void where_reset_2 (struct where *wh, uint64_t addr);
-static void where_reset_3 (struct where *wh, uint64_t addr);
-
-
-/* Functions and data structures for emitting various types of
- messages. */
-
-enum message_category
-{
- mc_none = 0,
-
- /* Severity: */
- mc_impact_1 = 0x1, // no impact on the consumer
- mc_impact_2 = 0x2, // still no impact, but suspicious or worth mentioning
- mc_impact_3 = 0x4, // some impact
- mc_impact_4 = 0x8, // high impact
- mc_impact_all= 0xf, // all severity levels
- mc_impact_2p = 0xe, // 2+
- mc_impact_3p = 0xc, // 3+
-
- /* Accuracy: */
- mc_acc_bloat = 0x10, // unnecessary constructs (e.g. unreferenced strings)
- mc_acc_suboptimal= 0x20, // suboptimal construct (e.g. lack of siblings)
- mc_acc_all = 0x30, // all accuracy options
-
- /* Various: */
- mc_error = 0x40, // turn the message into an error
-
- /* Area: */
- mc_leb128 = 0x100, // ULEB/SLEB storage
- mc_abbrevs = 0x200, // abbreviations and abbreviation tables
- mc_die_rel = 0x400, // DIE relationship
- mc_die_other = 0x800, // other messages related to DIEs
- mc_info = 0x1000, // messages related to .debug_info, but not particular DIEs
- mc_strings = 0x2000, // string table
- mc_aranges = 0x4000, // address ranges table
- mc_elf = 0x8000, // ELF structure, e.g. missing optional sections
- mc_pubtables = 0x10000, // table of public names/types
- mc_pubtypes = 0x20000, // .debug_pubtypes presence
- mc_loc = 0x40000, // messages related to .debug_loc
- mc_ranges = 0x80000, // messages related to .debug_ranges
- mc_other = 0x100000, // messages unrelated to any of the above
- mc_all = 0xffffff00, // all areas
-};
-
struct message_criteria
{
enum message_category accept; /* cat & accept must be != 0 */
++error_count;
}
-static void __attribute__ ((format (printf, 2, 3)))
+void
wr_error (struct where *wh, const char *format, ...)
{
va_list ap;
va_end (ap);
}
-static void __attribute__ ((format (printf, 2, 3)))
+void
wr_warning (struct where *wh, const char *format, ...)
{
va_list ap;
va_end (ap);
}
-static void __attribute__ ((format (printf, 3, 4)))
+void
wr_message (enum message_category category, struct where *wh,
const char *format, ...)
{
va_end (ap);
}
-static void
+void
wr_format_padding_message (enum message_category category,
struct where *wh,
uint64_t start, uint64_t end, char *kind)
": 0x%" PRIx64 "..0x%" PRIx64 ": %s.\n", start, end, kind);
}
-static void
+void
wr_format_leb128_message (int st, struct where *wh, const char *what)
{
enum message_category category = mc_leb128 | mc_acc_bloat | mc_impact_3;
wr_message (category, wh, ": unnecessarily long encoding of %s.\n", what);
}
-static void
+void
wr_message_padding_0 (enum message_category category,
struct where *wh,
uint64_t start, uint64_t end)
"unnecessary padding with zero bytes");
}
-static void
+void
wr_message_padding_n0 (enum message_category category,
struct where *wh,
uint64_t start, uint64_t end)
static void ref_record_free (struct ref_record *rr);
-/* Functions and data structures for handling of address range
- coverage. We use that to find holes of unused bytes in DWARF string
- table. */
-
-typedef uint_fast32_t coverage_emt_type;
-static const size_t coverage_emt_size = sizeof (coverage_emt_type);
-static const size_t coverage_emt_bits = 8 * sizeof (coverage_emt_type);
-
-struct coverage
-{
- size_t alloc;
- uint64_t size;
- coverage_emt_type *buf;
-};
-
-struct hole_info
-{
- enum section_id section;
- enum message_category category;
- unsigned align;
- void *d_buf;
-};
-
-static void coverage_init (struct coverage *ar, uint64_t size);
-static void coverage_add (struct coverage *ar, uint64_t begin, uint64_t end);
-static bool coverage_is_covered (struct coverage *ar, uint64_t address);
-static void coverage_find_holes (struct coverage *ar,
- void (*cb)(uint64_t begin, uint64_t end, void *data),
- void *data);
-static void found_hole (uint64_t begin, uint64_t end, void *data);
-static void coverage_free (struct coverage *ar);
-
-
/* Functions and data structures for CU handling. */
struct cu
enum section_id sec);
-static const char *where_fmt (struct where *wh, char *ptr)
+const char *
+where_fmt (struct where *wh, char *ptr)
{
if (wh == NULL)
return "";
return ptr;
}
-static void
+void
where_fmt_chain (struct where *wh, const char *severity)
{
if (wh != NULL)
severity, where_fmt (it, NULL));
}
-static void
+void
where_reset_1 (struct where *wh, uint64_t addr)
{
wh->addr1 = addr;
wh->addr2 = wh->addr3 = (uint64_t)-1;
}
-static void
+void
where_reset_2 (struct where *wh, uint64_t addr)
{
wh->addr2 = addr;
wh->addr3 = (uint64_t)-1;
}
-static void
+void
where_reset_3 (struct where *wh, uint64_t addr)
{
wh->addr3 = addr;
if (aranges_data != NULL)
{
read_ctx_init (&ctx, dwarf, aranges_data);
- check_aranges_structural (&ctx, cu_chain);
+ if (check_aranges_structural (&ctx, cu_chain))
+ check_aranges_hl (dwarf);
}
if (pubnames_data != NULL)
}
-static void
+void
coverage_init (struct coverage *ar, uint64_t size)
{
size_t ctemts = size / coverage_emt_bits + 1;
ar->size = size;
}
-static void
+void
coverage_add (struct coverage *ar, uint64_t begin, uint64_t end)
{
assert (ar);
}
}
-static bool
+bool
coverage_is_covered (struct coverage *ar, uint64_t address)
{
assert (ar);
return !!(ar->buf[bi] & bm);
}
-static bool
+bool
coverage_pristine (struct coverage *ar, uint64_t begin, uint64_t length)
{
for (uint64_t i = 0; i < length; ++i)
return true;
}
-static void
+void
coverage_find_holes (struct coverage *ar,
void (*cb)(uint64_t begin, uint64_t end, void *user),
void *user)
hole_end (ar->size);
}
-static void
+void
found_hole (uint64_t begin, uint64_t end, void *data)
{
struct hole_info *info = (struct hole_info *)data;
begin, end);
}
-static void
+void
coverage_free (struct coverage *ar)
{
free (ar->buf);
--- /dev/null
+#ifndef DWARFLINT_HL_H
+#define DWARFLINT_HL_H
+
+#include "../libdw/libdw.h"
+
+#ifdef __cplusplus
+extern "C"
+{
+#else
+# include <stdbool.h>
+#endif
+
+ /* Entry points for high-level checks. */
+ extern bool check_aranges_hl (Dwarf *dwarf);
+
+
+ /* Functions and data structures describing location in Dwarf. */
+
+ enum section_id
+ {
+ sec_invalid = 0,
+ sec_info,
+ sec_abbrev,
+ sec_aranges,
+ sec_pubnames,
+ sec_pubtypes,
+ sec_str,
+ sec_loc,
+ sec_locexpr, /* Not a section, but a portion of file that contains a
+ location expression. */
+ sec_ranges,
+ };
+
+ struct where
+ {
+ enum section_id section;
+ uint64_t addr1; // E.g. a CU offset.
+ uint64_t addr2; // E.g. a DIE address.
+ uint64_t addr3; // E.g. an attribute.
+ struct where *ref; // Related reference, e.g. an abbrev related to given DIE.
+ struct where *next; // Hierarchically superior location.
+ };
+
+# define WHERE(SECTION, NEXT) \
+ ((struct where) \
+ {(SECTION), (uint64_t)-1, (uint64_t)-1, (uint64_t)-1, NULL, NEXT})
+
+ extern const char *where_fmt (struct where *wh, char *ptr);
+ extern void where_fmt_chain (struct where *wh, const char *severity);
+ extern void where_reset_1 (struct where *wh, uint64_t addr);
+ extern void where_reset_2 (struct where *wh, uint64_t addr);
+ extern void where_reset_3 (struct where *wh, uint64_t addr);
+
+
+ /* Functions and data structures for emitting various types of
+ messages. */
+
+ enum message_category
+ {
+ mc_none = 0,
+
+ /* Severity: */
+ mc_impact_1 = 0x1, // no impact on the consumer
+ mc_impact_2 = 0x2, // still no impact, but suspicious or worth mentioning
+ mc_impact_3 = 0x4, // some impact
+ mc_impact_4 = 0x8, // high impact
+ mc_impact_all= 0xf, // all severity levels
+ mc_impact_2p = 0xe, // 2+
+ mc_impact_3p = 0xc, // 3+
+
+ /* Accuracy: */
+ mc_acc_bloat = 0x10, // unnecessary constructs (e.g. unreferenced strings)
+ mc_acc_suboptimal= 0x20, // suboptimal construct (e.g. lack of siblings)
+ mc_acc_all = 0x30, // all accuracy options
+
+ /* Various: */
+ mc_error = 0x40, // turn the message into an error
+
+ /* Area: */
+ mc_leb128 = 0x100, // ULEB/SLEB storage
+ mc_abbrevs = 0x200, // abbreviations and abbreviation tables
+ mc_die_rel = 0x400, // DIE relationship
+ mc_die_other = 0x800, // other messages related to DIEs
+ mc_info = 0x1000, // messages related to .debug_info, but not particular DIEs
+ mc_strings = 0x2000, // string table
+ mc_aranges = 0x4000, // address ranges table
+ mc_elf = 0x8000, // ELF structure, e.g. missing optional sections
+ mc_pubtables = 0x10000, // table of public names/types
+ mc_pubtypes = 0x20000, // .debug_pubtypes presence
+ mc_loc = 0x40000, // messages related to .debug_loc
+ mc_ranges = 0x80000, // messages related to .debug_ranges
+ mc_other = 0x100000, // messages unrelated to any of the above
+ mc_all = 0xffffff00, // all areas
+ };
+
+ extern void wr_error (struct where *wh, const char *format, ...)
+ __attribute__ ((format (printf, 2, 3)));
+
+ extern void wr_warning (struct where *wh, const char *format, ...)
+ __attribute__ ((format (printf, 2, 3)));
+
+ extern void wr_message (enum message_category category, struct where *wh,
+ const char *format, ...)
+ __attribute__ ((format (printf, 3, 4)));
+
+ extern void wr_format_padding_message (enum message_category category,
+ struct where *wh,
+ uint64_t start, uint64_t end,
+ char *kind);
+
+ extern void wr_format_leb128_message (int st, struct where *wh,
+ const char *what);
+
+ extern void wr_message_padding_0 (enum message_category category,
+ struct where *wh,
+ uint64_t start, uint64_t end);
+
+ extern void wr_message_padding_n0 (enum message_category category,
+ struct where *wh,
+ uint64_t start, uint64_t end);
+
+
+ /* Functions and data structures for handling of address range
+ coverage. We use that to find holes of unused bytes in DWARF
+ string table. */
+
+ typedef uint_fast32_t coverage_emt_type;
+ static const size_t coverage_emt_size = sizeof (coverage_emt_type);
+ static const size_t coverage_emt_bits = 8 * sizeof (coverage_emt_type);
+
+ struct coverage
+ {
+ size_t alloc;
+ uint64_t size;
+ coverage_emt_type *buf;
+ };
+
+ struct hole_info
+ {
+ enum section_id section;
+ enum message_category category;
+ unsigned align;
+ void *d_buf;
+ };
+
+ void coverage_init (struct coverage *ar, uint64_t size);
+ void coverage_add (struct coverage *ar, uint64_t begin, uint64_t end);
+ bool coverage_is_covered (struct coverage *ar, uint64_t address);
+ void coverage_find_holes (struct coverage *ar,
+ void (*cb)(uint64_t begin, uint64_t end, void *data),
+ void *data);
+ void found_hole (uint64_t begin, uint64_t end, void *data);
+ void coverage_free (struct coverage *ar);
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif/*DWARFLINT_HL_H*/
projects / thirdparty / elfutils.git / commitdiff
