Monitor Literature, Tools, Materials

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts high-level properties.

https://arxiv.org/abs/2305.08254

MIT License

5 stars 2 forks source link

Monitor Literature, Tools, Materials #82

Open mojtaba-eshghie opened 1 week ago

mojtaba-eshghie commented 1 week ago

GETH Tracing GETH Basic traces Built-in tracers Custom EVM tracer

mojtaba-eshghie commented 1 week ago

A symbolic testing tool for EVM smart contracts https://github.com/a16z/halmos/

mojtaba-eshghie commented 1 week ago

A repo to showcase web3 hacks https://github.com/Cyfrin/sc-exploits-minimized

mojtaba-eshghie commented 1 week ago

Kontrol combines KEVM and Foundry to grant developers the ability to perform formal verification without learning a new language or tool. https://github.com/runtimeverification/kontrol

K Tutorial https://github.com/runtimeverification/k/tree/master/k-distribution/k-tutorial

mojtaba-eshghie commented 1 week ago

Transaction trace_call RPC Method (quicknode) Look at stateDiff parameter: It returns the information on altered Ethereum state due to execution of the given transaction https://www.quicknode.com/docs/ethereum/trace_call

mojtaba-eshghie commented 1 week ago

Tracediff allows you to load evm (jsonl) files and find differences. Traceview allows you to analyse an evm trace file https://github.com/holiman/goevmlab