GianfrancoBazzani
Results
14
issues of
GianfrancoBazzani
Seems that url analysis to support level addresses and level number in the `/level` subpaths is not parsed correctly and results in unexpected behavior on many situations.
https://github.com/devdacian/solidity-fuzzing-comparison
https://hackmd.io/@SaferMaker/EVM-Sym-Exec
https://a16zcrypto.com/posts/article/implementing-stateful-invariant-testing-with-halmos/
https://blog.pessimistic.io/fuzzing-solidity-smart-contracts-with-echidna-die-hard-level-tips-9ab7033fa893
https://github.com/alexzoid-eth/2023-10-badger-fv/blob/main/certora/FVGUIDE.md
Formal Verification
https://github.com/0xNazgul/fuzzydefi/blob/main/PROPERTIES.md#L15
Invariant Testing