Detecting Cross-Function Reentrancy from EVM Traces
Detects cross-function reentrancy in Ethereum smart contracts
Visit tool
mythx.io
About Detecting Cross-Function Reentrancy from EVM Traces
Extends the TxSpector framework with new Datalog-based detection rules to capture cross-function reentrancy patterns.
Description summarised by AI from the sources listed below.
Use cases
- Ethereum smart contract analysis
Pricing
Pricing model: Unknown — we have not been able to confirm pricing from the official website, so nothing is stated here.
Pricing summarised by AI from the sources listed below.
