2026 02 24 audit#437

Merged

thedavidmeister merged 25 commits intomainfrom

2026-02-24-audit

Mar 1, 2026

Commits on Feb 24, 2026

Fix A24-4: add negative value eval tests for floor

thedavidmeister
and
claude
committed
Fix A25-1: add inv(0) division by zero and negative input tests

thedavidmeister
and
claude
committed

Commits on Feb 26, 2026

Fix A25-2, A25-3: add missing output and operand tests for sub

thedavidmeister
and
claude
committed
Fix A25-4, A25-5: add missing output tests for min and max

thedavidmeister
and
claude
committed
Fix A25-6: add sqrt negative input error path test

thedavidmeister
and
claude
committed
Fix A26-1, A26-2, A26-3: add operand disallowed tests for EVM opcodes

thedavidmeister
and
claude
committed
Fix A29-1: add operand disallowed test for uint256-max-value

thedavidmeister
and
claude
committed
Fix A30-3: add yang-state word-word UnexpectedRHSChar test

thedavidmeister
and
claude
committed
Fix A30-4: add stack name boundary tests for parseRHS fallback path

thedavidmeister
and
claude
committed
Fix A30-5: add unknown word bytecode construction boundary tests

thedavidmeister
and
claude
committed
Fix A31-1, A31-2: add unit tests for parseErrorOffset and handleErrorSelector

thedavidmeister
and
claude
committed
Fix A32-1, A32-3, A32-4: add unit tests for skipComment, skipWhitespace, parseInterstitial

thedavidmeister
and
claude
committed
Fix A33-2, A33-3: add literal dispatch and parseLiteral revert tests

thedavidmeister
and
claude
committed
Fix A35-5: add mixed-case hex parsing tests

thedavidmeister
and
claude
committed
Fix A36-6, A37-1, A37-3, A35-5: string and repeat test improvements

thedavidmeister
and
claude
committed