crytic / crytic/building-secure-contracts
Manticore: show how to analyze bytecode only contracts
Open
Intermediate level
Manticore
- Dominant language
- Solidity
- Stars
- 2.5k
- Forks
- 391
- PR merge metrics
- No merged PRs in 30d
Description
We can take the approach used in the ENS script: https://gist.github.com/feliam/ec8b9aa102055948524838ffe0a09769
Contributor guide
Research direction
Start by reviewing the linked ENS script, then find the appropriate Manticore documentation or tutorial entry point for this example. Document how to analyze contracts when only bytecode is available, using the ENS script as the reference approach.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity
- Domain
- blockchain, documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100