ioterw/tracevm-cast repository overview

⁠TracEVM

This tool is used to track the values and addresses of slots (storage variables in Solidity) inside the Ethereum contract, as well as tracking logs (Solidity events).

• Partial symbolic execution provides the complete data on how a specific variable or slot address was calculated
• Suitable for learning about Solidity internals
• Written in Go and Python

Cast can be run with the following command:

docker run --rm -it -p 4334:4334 ioterw/tracevm-cast run 0xf717d3585675a6453e7b433692d3d951d24a41c7c0a7d04d1ce114f2db3e036d --flashbots --debug