Reentrancy Risk Quantification

Reentrancy Risk Quantification is the mathematical process of measuring the likelihood that a smart contract can be manipulated through recursive function calls before the initial state update is finalized. This vulnerability occurs when an external call is made to an untrusted contract, allowing it to re-enter the original function repeatedly to drain funds.

Quantification involves scanning for low-level call instructions that interact with external addresses without proper state locks. By calculating the complexity of the function call stack, models estimate the exposure to such re-entrant exploits.

This is a primary metric in automated code auditing tools. It provides developers with a clear indication of where state management needs to be reinforced.