Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/perimetersec/public-fuzzing-campaigns-list
A list of public fuzzing campaigns
https://github.com/perimetersec/public-fuzzing-campaigns-list
echidna evm foundry fuzzing medusa solidity
Last synced: about 1 month ago
JSON representation
A list of public fuzzing campaigns
- Host: GitHub
- URL: https://github.com/perimetersec/public-fuzzing-campaigns-list
- Owner: perimetersec
- Created: 2024-02-06T10:33:48.000Z (11 months ago)
- Default Branch: main
- Last Pushed: 2024-08-12T10:14:34.000Z (5 months ago)
- Last Synced: 2024-08-12T11:27:31.499Z (5 months ago)
- Topics: echidna, evm, foundry, fuzzing, medusa, solidity
- Homepage:
- Size: 35.2 KB
- Stars: 63
- Watchers: 1
- Forks: 15
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-advanced-smart-contracts-testing-and-verification - **Perimetersec Public Fuzzing Campaigns List**
- awesome-advanced-smart-contracts-testing-and-verification - **Perimetersec Public Fuzzing Campaigns List**
README
## Echidna & Medusa
| Project | Repository | Author(s) | Last Commit |
| ------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
| Centrifuge Core | [link](https://github.com/centrifuge/liquidity-pools/tree/main/test/recon-core) | [Alex The Entreprenerd](https://x.com/GalloDaSballo) ([Recon](https://x.com/getreconxyz)) | 2024-08 |
| Centrifuge Aggregator | [link](https://github.com/centrifuge/liquidity-pools/tree/main/test/recon-aggregator) | [Alex The Entreprenerd](https://x.com/GalloDaSballo) ([Recon](https://x.com/getreconxyz)) | 2024-08 |
| Size Credit | [link](https://github.com/SizeCredit/size-solidity/tree/main/test/invariants) | [Antonio Viggiano](https://twitter.com/agfviggiano) | 2024-06 |
| Origin Protocol OETHVault | [link](https://github.com/perimetersec/origin-oeth-fuzzing) | [Rappie](https://twitter.com/rappie_eth) ([Perimeter](https://twitter.com/perimeter_sec)) | 2024-05 |
| Angels Squad | [link](https://github.com/xluckydegen/launchpad-contracts/tree/main/contracts/echidna) | [0xharold](https://x.com/haraslub) ([MAMA AI](https://themama.ai)) | 2024-05 |
| Euler Vault Kit | [link](https://github.com/euler-xyz/euler-vault-kit/tree/master/test/invariants) | [vnmrtz.eth](https://x.com/vn_martinez_) ([Enigma Dark](https://x.com/EnigmadarkLabs)) | 2024-05 |
| Euler Reward Streams | [link](https://github.com/euler-xyz/reward-streams/tree/master/test/invariants) | [vnmrtz.eth](https://x.com/vn_martinez_) ([Enigma Dark](https://x.com/EnigmadarkLabs)) | 2024-05 |
| snekmate (Vyper) | [link](https://github.com/pcaversaccio/snekmate/tree/modules/test/tokens/echidna) | [pcaversaccio](https://twitter.com/pcaversaccio) | 2024-05 |
| Possum Labs | [link](https://github.com/ZealynxSecurity/Possum-Labs?tab=readme-ov-file#echidna) | [bloqarl](https://twitter.com/TheBlockChainer), [Sergio](https://twitter.com/Seecoalba) ([Zealynx](https://twitter.com/ZealynxSecurity)) | 2024-04 |
| Euler EVC Playground | [link](https://github.com/euler-xyz/evc-playground/tree/master/test/invariants) | [vnmrtz.eth](https://x.com/vn_martinez_) ([Enigma Dark](https://x.com/EnigmadarkLabs)) | 2024-03 |
| Abracadabra | [link](https://github.com/Abracadabra-money/abracadabra-money-contracts/tree/0e717e73662b840bb77eba196bd86d405decb154/test/fuzzing) | [0xScourgedev](https://twitter.com/0xScourgedev) ([Guardian](https://twitter.com/GuardianAudits)) | 2024-03 |
| BastionWallet | [link](https://github.com/ZealynxSecurity/BastionWallet/tree/main/src/echidna) | [bloqarl](https://twitter.com/TheBlockChainer), [Sergio](https://twitter.com/Seecoalba) ([Zealynx](https://twitter.com/ZealynxSecurity)) | 2024-02 |
| Curvance | [link](https://github.com/curvance/Curvance-CantinaCompetition/tree/develop/tests/fuzzing) | [Nat Chin](https://twitter.com/0xicingdeath) ([Trail of Bits](https://twitter.com/trailofbits)) | 2024-02 |
| Autonolas | [link](https://github.com/ZealynxSecurity/Autonolas/tree/master/src/Echidna) | [bloqarl](https://twitter.com/TheBlockChainer), [Sergio](https://twitter.com/Seecoalba) ([Zealynx](https://twitter.com/ZealynxSecurity)) | 2024-01 |
| Drips Network | [link](https://github.com/perimetersec/drips-fuzzing) | [Rappie](https://twitter.com/rappie_eth) ([Perimeter](https://twitter.com/perimeter_sec)) | 2024-01 |
| Superfluid Finance | [link](https://github.com/superfluid-finance/protocol-monorepo/tree/dev/packages/hot-fuzz) | Unknown | 2024-01 |
| BadgerDAO eBTC | [link](https://github.com/ebtc-protocol/ebtc/tree/main/packages/contracts/contracts/TestContracts/invariants) | [Antonio Viggiano](https://twitter.com/agfviggiano) | 2023-10 |
| Origin Protocol OUSD
| [link](https://github.com/OriginProtocol/origin-dollar/tree/master/contracts/contracts/echidna) | [Rappie](https://twitter.com/rappie_eth) | 2023-09 |
| Kyber Network | [link](https://github.com/KyberNetwork/ks-elastic-sc/tree/main/contracts/echidna) | Unknown | 2023-04 |
| Pods Finance | [link](https://github.com/pods-finance/yield-contracts/tree/main/test/invariants) | [Antonio Viggiano](https://twitter.com/agfviggiano) | 2023-03 |
| Ondo Finance | [link](https://github.com/ondoprotocol/tokenized-funds/tree/main/contracts/echidna) | Unknown | 2023-02 |
| Sovryn Zero | [link](https://github.com/DistributedCollective/zero/tree/main/packages/contracts/contracts/TestContracts) | Unknown | 2023-01 |
| Autonolas | [link](https://github.com/valory-xyz/autonolas-governance/tree/main/audits/internal/analysis/fuzzing/VotingEscrow) | [Alex Kuperman](https://twitter.com/kupermind) | 2022-06 |
| Arbor Finance | [link](https://github.com/alwaysbegrowing/arbor-contracts/tree/main/contracts/echidna) | Unknown | 2022-04 |
| MakerDAO | [link](https://github.com/makerdao/dss-vest/tree/master/echidna), [link](https://github.com/makerdao/optimism-dai-bridge/tree/master/contracts/test) | Unknown | 2022-04 |
| Primitive Finance | [link](https://github.com/primitivefinance/rmm-core/tree/main/contracts/crytic) | [Nat Chin](https://twitter.com/0xicingdeath) ([Trail of Bits](https://twitter.com/trailofbits)) | 2022-02 |
| 88mph | [link](https://github.com/88mphapp/88mph-contracts/tree/v3/contracts/echidna) | [Trail of Bits](https://twitter.com/trailofbits) | 2021-08 |
| Uniswap V3 | [link](https://github.com/Uniswap/v3-core/tree/main/contracts/test) | Unknown | 2021-04 |
| Convexity Protocol | [link](https://github.com/opynfinance/ConvexityProtocol/tree/dev/contracts/echidna) | Unknown | 2020-10 |
| Aragon Staking | [link](https://github.com/aragon/staking/tree/82bf54a3e11ec4e50d470d66048a2dd3154f940b/packages/protocol/contracts/test/lib) | Unknown | 2020-09 |
| Monolith | [link](https://github.com/tokencard/contracts/tree/master/tools/echidna) | Unknown | 2020-09 |
| Circle FiatToken | [link](https://github.com/circlefin/stablecoin-evm/tree/master/echidna_tests) | Unknown | 2018-08 |
## Foundry Invariant Testing
| Project | Repository | Author(s) | Last Commit |
| --------------- | --------------------------------------------------------------------------------------------- | ------------------------------------------------- | ----------- |
| Ion Protocol | [link](https://github.com/Ion-Protocol/ion-protocol/tree/master/test/invariant/IonPool) | [Hrik](https://x.com/HrikBho) | 2024-05 |
| Ajna Finance | [link](https://github.com/ajna-finance/ajna-core/tree/master/tests/forge/invariants) | Unknown | 2024-01 |
| Alchemix | [link](https://github.com/alchemix-finance/v2-foundry/tree/master/src/test) | Unknown | 2024-01 |
| Maple Finance | [link](https://github.com/maple-labs/maple-core-v2/tree/main/tests/invariants) | Unknown | 2023-12 |
| Sablier V2 Core | [link](https://github.com/sablier-labs/v2-core/tree/main/test/invariant) | [Paul Razvan Berg](https://twitter.com/PaulRBerg) | 2023-12 |
| Wrapped Ether | [link](https://github.com/horsefacts/weth-invariant-testing/tree/main) | [horsefacts](https://twitter.com/eth_call) | 2023-11 |
| DSS Conduits | [link](https://github.com/makerdao/dss-conduits/tree/master/test/arranger-conduit/invariants) | Unknown | 2023-10 |
| Basin | [link](https://github.com/BeanstalkFarms/Basin/tree/master/test/invariant) | Unknown | 2023-08 |
| LLama | [link](https://github.com/llamaxyz/llama/tree/main/test/invariants) | Unknown | 2023-07 |
| Morpho | [link](https://github.com/morpho-org/morpho-data-structures/tree/main/test) | Unknown | 2023-05 |