From 0711b2569a3ea321a48207cdfc41fb2a660924b9 Mon Sep 17 00:00:00 2001 From: Ben Lubar Date: Sat, 22 Feb 2020 14:04:53 -0600 Subject: [PATCH] in -sizes mode, report sizes of unknown structures behind pointers. update structures --- library/xml | 2 +- plugins/devel/check-structures-sanity.cpp | 37 ++++++++++++++++++++--- 2 files changed, 34 insertions(+), 5 deletions(-) diff --git a/library/xml b/library/xml index 874ad8936..f00084673 160000 --- a/library/xml +++ b/library/xml @@ -1 +1 @@ -Subproject commit 874ad8936e9f29cd616d76ebdc93fef958ded379 +Subproject commit f00084673d02e6a170c8ba77da46e456855ba5fa diff --git a/plugins/devel/check-structures-sanity.cpp b/plugins/devel/check-structures-sanity.cpp index a984c0745..538fa8b48 100644 --- a/plugins/devel/check-structures-sanity.cpp +++ b/plugins/devel/check-structures-sanity.cpp @@ -250,9 +250,14 @@ bool Checker::address_in_runtime_data(void *ptr) continue; } - // TODO: figure out how to differentiate statically-allocated pages from malloc'd data pages +#ifdef WIN32 + // TODO: figure out how to differentiate statically-allocated pages + // from malloc'd data pages UNEXPECTED; return false; +#else + return !strcmp(range.name, "[heap]"); +#endif } return false; @@ -569,7 +574,21 @@ void Checker::check_dispatch(const ToCheck & item) if (!item.identity) { // warn about bad pointers - check_access(item, item.ptr, df::identity_traits::get(), 1); + if (!check_access(item, item.ptr, df::identity_traits::get(), 1)) + { + return; + } + + if (sizes) + { + uint32_t tag = *reinterpret_cast(PTR_ADD(item.ptr, -8)); + if (tag == 0xdfdf4ac8) + { + size_t allocated_size = *reinterpret_cast(PTR_ADD(item.ptr - 1, -16)); + + FAIL("pointer to a block of " << allocated_size << " bytes of allocated memory"); + } + } return; } @@ -658,6 +677,16 @@ void Checker::check_primitive(const ToCheck & item) return; } + if (item.identity->getFullName() == "bool") + { + auto value = *reinterpret_cast(item.ptr); + if (value > 1 && value != 0xd2) + { + FAIL("invalid boolean value " << stl_sprintf("%d (0x%02x)", value, value)); + } + return; + } + // TODO: check other primitives? } @@ -965,7 +994,7 @@ void Checker::check_vector(const ToCheck & item, type_identity *item_identity, b FAIL("vector capacity (" << (capacity / ptrdiff_t(item_size)) << ") is less than its length (" << (length / ptrdiff_t(item_size)) << ")"); } - if (!item_identity && pointer) + if (!item_identity && pointer && !sizes) { // non-identified vector type in structures return; @@ -990,7 +1019,7 @@ void Checker::check_vector(const ToCheck & item, type_identity *item_identity, b local_ok = false; } - if (local_ok && check_access(item, reinterpret_cast(vector.start), item.identity, capacity) && item_identity) + if (local_ok && check_access(item, reinterpret_cast(vector.start), item.identity, capacity)) { auto ienum = static_cast(static_cast(item.identity)->getIndexEnumType()); queue_static_array(item, reinterpret_cast(vector.start), item_identity, ulength / item_size, pointer, ienum);