Skip to content

Unsound Spill In Mutual Recursion Bug

Named by 3 kept items in this workspace.

2 items name it under classification.key entities and 1 under techniques.

Search every workspace for Unsound Spill In Mutual Recursion Bug. It matches the name as written, so it can find other things that share it.

The items that name it 3

  • Spill Slot Collision Across Mutual Recursion Bug
    advisoryas techniques2026-09-10It is written here as Unsound Spill In Mutual Recursion Bug (earlier, related bug).

    Fixed in Solidity 0.8.36; faulty cycle detection caused mutually recursive functions to be misclassified as non-recursive, so the mover spilled variables of a recursive function, violating the rule that recursive functions must never have spilled variables. Distinct root cause from the bug described

  • Solidity 0.8.36 Release Announcement
    advisoryas classification.key entities2026-07-09
  • Solidity 0.8.37 Release Announcement
    advisoryas classification.key entities

All techniques in this workspace.