Comments (4)
echidna + manticore: https://github.com/tokencard/contracts/tree/master/tools
from building-secure-contracts.
The blogpost on library testing was directly added in the list of advanced tutorials
from building-secure-contracts.
Echidna in CI
- uniswap https://github.com/Uniswap/uniswap-lib/blob/c01640b0f0f1d8a85cba8de378cc48469fcfd9a6/.github/workflows/fuzz-testing.yml
- akirpolisio: https://github.com/akropolisio/akropolis/blob/6d8e90b24275bef9cd879a7ab0f096b0c2d4a091/.github/workflows/security.yml#L60-L92
- contracthsark: https://github.com/contractshark/echidna/blob/5358689ae99dac9ba4027f5f4d24f78cb0a6b6e0/echidna.action.yml#L9-L57
- optimisim-dai: https://github.com/BellwoodStudios/optimism-dai-bridge/blob/c8b5f2de89b3e8beb5b75418890327bda3fad035/.github/workflows/ci.yml#L98-L144
- maker-badges: https://github.com/naszam/maker-badges/blob/718e9c5fb749241a62dede7a128c75b20e787e13/.github/workflows/fuzz.yml
Echidna properties (without CI)
- usffum: usmfum/USM#41
- monolith_contracts: https://github.com/bughunter0xff/monolith_contracts/blob/60709d65cc2178ca936920133610268aa4c30dc5/tools/echidna/controller/controller.sol
- pooltogether: https://github.com/pooltogether/pooltogether-pool-contracts/blob/master/package.json#L38-L39
- decimalmath: https://github.com/albertocuestacanada/DecimalMath/blob/4737ebc19234106a7792f6031fcde3dd79244228/package.json#L14
- origin-dollar https://github.com/OriginProtocol/origin-dollar/blob/6e2b1738fe876aa8e7e6d38c23417383ed33b3ad/contracts/package.json#L22
Manticore in CI
from building-secure-contracts.
@ggrieco-tob : some of these repo are not listed in https://github.com/crytic/echidna#property-testing-suites. Do we want to add them?
from building-secure-contracts.
Related Issues (20)
- Error: Deploying the contract failed HOT 4
- Document slither code comment
- Explain the popsicle example HOT 1
- Render better solidity file HOT 5
- Document zkEVM divergences in learn evm
- Lack of compiler versions for excercises HOT 4
- Update links for Cairo Regenesis
- Fix TestDepositWithPermit test HOT 1
- Adapt Echidna training
- Update multi-abi to allContracts HOT 3
- Fixing substrate links
- Fix cosmos link HOT 2
- Echidna installation link is broken HOT 2
- Echidna Exercise 3 HOT 2
- markdown-link-check: improve CI
- Move blockchain-security-contacts here HOT 2
- Add changelog page HOT 1
- double hevm prank does not work HOT 1
- Cosmos Total Supply Manipulation via IBC Burning HOT 1
- Add the rekt test HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from building-secure-contracts.