Show how to use the Manticore plugin feature #3
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)