CFG recovery non-termination
Open
- Dominant language
- Python
- Stars
- 365
- Forks
- 41
- PR merge metrics
- No merged PRs in 30d
Description
Rattle and ethersplay both fail to recover the control flow graph of the fomo3d contract. Analysis never finishes.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.