7fc0f7b
This commit was signed with the committer’s verified signature.
This minor release refactors the stack marker verification path in estack_free_to_marker to ensure invalid markers are safely ignored without crashing in defensive mode.
Security & Robustness
- Defensive Early-Return: Replaced hard assertions inside the marker magic and bounds checks with unified
ESTACK_CHECK_V(false, ...)routing. Invalid or corrupted are now gracefully ignored and returned early in defensive mode, while still triggering debug assertions in contract mode.
Complex inside. Simple outside.