crytic / crytic/building-secure-contracts
Show how to use the Manticore plugin feature
Open
Intermediate level
Manticore
New exercise
- Dominant language
- Solidity
- Stars
- 2.5k
- Forks
- 391
- PR merge metrics
- No merged PRs in 30d
Description
The plugin allows in-depth control over the operations that are executed.
A good example the CFG builder from @feliam: https://github.com/trailofbits/manticore/blob/466a44efa0467aeac80e5423d03eae2c0b23e1cb/manticore/ethereum/plugins.py#L222-L296
We need an exercise that shows how to create a plugin. For example:
- Hook an external call to an Oracle contract, and returns a constrained symbolic value (ex: value > 100, and value < 1,000)
Contributor guide
Assessment
This issue has not been assessed yet.