awesome-advanced-smart-contracts-testing-and-verification
awesome-advanced-smart-contracts-testing-and-verification copied to clipboard

Published 20 hours ago •

GianfrancoBazzani

→

Metadata

A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.

Reame
Issues

Results 12 awesome-advanced-smart-contracts-testing-and-verification issues

Sort by recently updated

check source

https://github.com/devdacian/solidity-fuzzing-comparison

GianfrancoBazzani

check source

https://hackmd.io/@SaferMaker/EVM-Sym-Exec

GianfrancoBazzani

Check Source

https://a16zcrypto.com/posts/article/implementing-stateful-invariant-testing-with-halmos/

GianfrancoBazzani

Check source

https://blog.pessimistic.io/fuzzing-solidity-smart-contracts-with-echidna-die-hard-level-tips-9ab7033fa893

GianfrancoBazzani

Check sources

https://github.com/alexzoid-eth/2023-10-badger-fv/blob/main/certora/FVGUIDE.md

GianfrancoBazzani

Formal Verification

Add Chimera tool

https://github.com/Recon-Fuzz/chimera

GianfrancoBazzani

Tool

Check and add new sources

https://github.com/0xNazgul/fuzzydefi/blob/main/PROPERTIES.md#L15

GianfrancoBazzani

Invariant Testing

Check Sources

https://youtu.be/pjwYr97Q-Ok?si=BT_WIRViRnYqcdSE

GianfrancoBazzani

Formal Verification

Check Sources

https://mirror.xyz/0x44bdEeB120E0fCfC40fad73883C8f4D60Dfd5A73/YGiErigKAsMXSG8g9tr6c3_VtbasUtFesO28kNFFezo

GianfrancoBazzani

Check sources

https://twitter.com/Seecoalba/status/1743287504671830111?t=vKyHwpW7dUXyKs5Lv7BTiw&s=19

GianfrancoBazzani

← Metadata

40

Stars

1

Forks

Watchers

Owner

GianfrancoBazzani

Metadata

A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.