You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Directory-pointed structures — now near-complete for the forensically dense directories.
Loader-facing geometry — entrypoint mapping, section flags/alignment/overlap/RWX, RVA↔raw consistency, overlay detection, entropy. This is the "does it even load, and does the layout lie" axis, and it's well-covered.
Adversarial-input robustness — The tombstone-not-exception design means the malformed input space (truncated, looping, contradictory, past-EOF) is handled with structured determinism rather than crashes or version-dependent divergence.
Single-owner discipline — the architecture actively resists double-counting, which matters for precision, not just recall.
The gaps
Regular IMPORT table (dir 1) has no dedicated structural validator. We have deep coverage of exports and delay-load imports but not the ordinary import directory (INT/IAT RVA validity, IMAGE_IMPORT_BY_NAME sanity, ordinal/name consistency).
Bound imports (dir 11) — parser exists (_parse_bound_imports), no validator.
Header-field cross-consistency — no deep COFF-header contradiction checks (NumberOfSections vs actual, SizeOfOptionalHeader, Characteristics/Machine contradictions) or DOS/e_lfanew pathologies beyond what parse failure catches incidentally.
Coverage by data directory as-of v0.7.6.2
Where we are now
The gaps
_parse_bound_imports), no validator.e_lfanewpathologies beyond what parse failure catches incidentally.