LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

solidity-fuzzing-comparison

A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

OtherEmerging

Stars

—

Forks

—

Contributors

2

Last push

15mo ago

Recent commits

Latest commits.

updating byte battle results as medusa can now break it
125071fDevDacian17mo ago
only 1 env variable in 11-op-reg plus minor spelling fix
16203f9DevDacian19mo ago
fix incorrect duplicate check in max_token_buy_per_user
198e592DevDacian19mo ago
using assert instead of require for sanity checks in 14-priority certora solution
ebead90DevDacian19mo ago
using assert instead of require for sanity check in 04-voting-nft certora solution
851587f

DevDacian

19mo ago

1aad0a5DevDacian19mo ago

2 separate token contracts for 13-stability-pool similar to change made for 05-token-sale

68c12dbDevDacian19mo ago

fixing config for 05-token-sale to have 2 separate token contracts, plus adding second rule by alexzoid_eth

fe345f1DevDacian19mo ago

Top contributors

Builders behind this project.