Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / crytic/building-secure-contracts issues and pull requests
#100 - updated example code using try catch and changing amounts
Pull Request -
State: closed - Opened by technovision99 over 2 years ago
#100 - updated example code using try catch and changing amounts
Pull Request -
State: closed - Opened by technovision99 over 2 years ago
#99 - Using HEVM cheat code to test a permit function
Pull Request -
State: closed - Opened by technovision99 over 2 years ago
#99 - Using HEVM cheat code to test a permit function
Pull Request -
State: closed - Opened by technovision99 over 2 years ago
#98 - Update README.md
Pull Request -
State: closed - Opened by Namaskar-1F64F over 2 years ago
- 2 comments
#98 - Update README.md
Pull Request -
State: closed - Opened by Namaskar-1F64F over 2 years ago
- 2 comments
#97 - Fixed smart contract fuzzing at scale documentation for echidna 2.0
Pull Request -
State: closed - Opened by ggrieco-tob over 2 years ago
#97 - Fixed smart contract fuzzing at scale documentation for echidna 2.0
Pull Request -
State: closed - Opened by ggrieco-tob over 2 years ago
#96 - Added ERC20Permit Example using sign cheatcode
Pull Request -
State: closed - Opened by technovision99 over 2 years ago
- 2 comments
#96 - Added ERC20Permit Example using sign cheatcode
Pull Request -
State: closed - Opened by technovision99 over 2 years ago
- 2 comments
#95 - Remove redundant Echidna CI tasks
Pull Request -
State: closed - Opened by elopez over 2 years ago
#95 - Remove redundant Echidna CI tasks
Pull Request -
State: closed - Opened by elopez over 2 years ago
#94 - Add Exercise 4 to the Echidna CI workflow
Pull Request -
State: closed - Opened by elopez over 2 years ago
#94 - Add Exercise 4 to the Echidna CI workflow
Pull Request -
State: closed - Opened by elopez over 2 years ago
#93 - copyediting
Pull Request -
State: closed - Opened by GrosQuildu over 2 years ago
- 1 comment
#93 - copyediting
Pull Request -
State: closed - Opened by GrosQuildu over 2 years ago
- 1 comment
#92 - [WIP] Adding exercises 5 and 6 from dvdefi
Pull Request -
State: closed - Opened by anishnaik over 2 years ago
- 3 comments
Labels: Echidna, New exercise
#92 - [WIP] Adding exercises 5 and 6 from dvdefi
Pull Request -
State: closed - Opened by anishnaik over 2 years ago
- 3 comments
Labels: Echidna, New exercise
#91 - [WIP] Adding popsicle finance example
Pull Request -
State: closed - Opened by anishnaik over 2 years ago
- 1 comment
Labels: documentation, Echidna, New exercise
#91 - [WIP] Adding popsicle finance example
Pull Request -
State: closed - Opened by anishnaik over 2 years ago
- 1 comment
Labels: documentation, Echidna, New exercise
#90 - Use Echidna action for CI tests
Pull Request -
State: closed - Opened by elopez over 2 years ago
#90 - Use Echidna action for CI tests
Pull Request -
State: closed - Opened by elopez over 2 years ago
#89 - Pr/84
Pull Request -
State: closed - Opened by anishnaik over 2 years ago
- 1 comment
Labels: documentation, Echidna
#89 - Pr/84
Pull Request -
State: closed - Opened by anishnaik over 2 years ago
- 1 comment
Labels: documentation, Echidna
#88 - Fixed a minor typo
Pull Request -
State: closed - Opened by PradhumnaPancholi over 2 years ago
- 1 comment
#88 - Fixed a minor typo
Pull Request -
State: closed - Opened by PradhumnaPancholi over 2 years ago
- 1 comment
#87 - Assertion testing not working with Echidna 2.0
Issue -
State: closed - Opened by RayXpub over 2 years ago
- 2 comments
#87 - Assertion testing not working with Echidna 2.0
Issue -
State: closed - Opened by RayXpub over 2 years ago
- 2 comments
#86 - Create list of risks when interacting with the most common DeFi
Issue -
State: open - Opened by montyly over 2 years ago
Labels: help wanted
#86 - Create list of risks when interacting with the most common DeFi
Issue -
State: open - Opened by montyly over 2 years ago
Labels: help wanted
#85 - Fix manticore tests in CI
Pull Request -
State: closed - Opened by elopez over 2 years ago
#85 - Fix manticore tests in CI
Pull Request -
State: closed - Opened by elopez over 2 years ago
#84 - Update to Echidna 2.0
Pull Request -
State: closed - Opened by ggrieco-tob over 2 years ago
- 3 comments
#84 - Update to Echidna 2.0
Pull Request -
State: closed - Opened by ggrieco-tob over 2 years ago
- 3 comments
#83 - Update to Echidna 2.0
Pull Request -
State: closed - Opened by ggrieco-tob over 2 years ago
- 1 comment
#83 - Update to Echidna 2.0
Pull Request -
State: closed - Opened by ggrieco-tob over 2 years ago
- 1 comment
#82 - Update readme to include link to "development-guidelines"
Pull Request -
State: closed - Opened by gregkbarnes over 2 years ago
- 1 comment
#82 - Update readme to include link to "development-guidelines"
Pull Request -
State: closed - Opened by gregkbarnes over 2 years ago
- 1 comment
#81 - Update readme link to 'development-guidelines'
Pull Request -
State: closed - Opened by deepwaters-greg over 2 years ago
- 1 comment
#81 - Update readme link to 'development-guidelines'
Pull Request -
State: closed - Opened by deepwaters-greg over 2 years ago
- 1 comment
#80 - Echidna FAQ
Issue -
State: open - Opened by montyly over 2 years ago
- 6 comments
Labels: help wanted, high priority
#80 - Echidna FAQ
Issue -
State: open - Opened by montyly over 2 years ago
- 6 comments
Labels: help wanted, high priority
#79 - Expand the documentation around Echidna config
Issue -
State: closed - Opened by Jaime-Iglesias over 2 years ago
- 1 comment
#79 - Expand the documentation around Echidna config
Issue -
State: closed - Opened by Jaime-Iglesias over 2 years ago
- 1 comment
#78 - Update and move evm-opcodes here
Issue -
State: closed - Opened by montyly over 2 years ago
#78 - Update and move evm-opcodes here
Issue -
State: closed - Opened by montyly over 2 years ago
#77 - Add learn EVM section with the list of EIPs<>Forks
Pull Request -
State: closed - Opened by montyly over 2 years ago
#77 - Add learn EVM section with the list of EIPs<>Forks
Pull Request -
State: closed - Opened by montyly over 2 years ago
#76 - Disable fail-fast on GH Actions matrix
Pull Request -
State: closed - Opened by elopez almost 3 years ago
#76 - Disable fail-fast on GH Actions matrix
Pull Request -
State: closed - Opened by elopez almost 3 years ago
#75 - List optimizations tricks and best practices
Issue -
State: open - Opened by montyly almost 3 years ago
#75 - List optimizations tricks and best practices
Issue -
State: open - Opened by montyly almost 3 years ago
#74 - Misleading documentation about caller addresses
Issue -
State: closed - Opened by Silur almost 3 years ago
- 1 comment
#74 - Misleading documentation about caller addresses
Issue -
State: closed - Opened by Silur almost 3 years ago
- 1 comment
#73 - Extended fuzzing_tips with push/pop trick + some small changes
Pull Request -
State: closed - Opened by ggrieco-tob almost 3 years ago
#73 - Extended fuzzing_tips with push/pop trick + some small changes
Pull Request -
State: closed - Opened by ggrieco-tob almost 3 years ago
#72 - Fix CI
Pull Request -
State: closed - Opened by montyly almost 3 years ago
#72 - Fix CI
Pull Request -
State: closed - Opened by montyly almost 3 years ago
#71 - Added specific NFT (ERC-721) items to the token integration checklist
Pull Request -
State: closed - Opened by ggrieco-tob almost 3 years ago
#71 - Added specific NFT (ERC-721) items to the token integration checklist
Pull Request -
State: closed - Opened by ggrieco-tob almost 3 years ago
#70 - Update and merge not-so-smart-contract here
Issue -
State: closed - Opened by montyly almost 3 years ago
- 1 comment
#70 - Update and merge not-so-smart-contract here
Issue -
State: closed - Opened by montyly almost 3 years ago
- 1 comment
#69 - Recommended Solidity version
Issue -
State: closed - Opened by marceljay about 3 years ago
- 1 comment
#69 - Recommended Solidity version
Issue -
State: closed - Opened by marceljay about 3 years ago
- 1 comment
#68 - Create list of ERC20 with edge cases
Issue -
State: open - Opened by montyly about 3 years ago
- 2 comments
#68 - Create list of ERC20 with edge cases
Issue -
State: open - Opened by montyly about 3 years ago
- 2 comments
#67 - Add more risks to the token integration checklist
Issue -
State: open - Opened by montyly about 3 years ago
#67 - Add more risks to the token integration checklist
Issue -
State: open - Opened by montyly about 3 years ago
#66 - How to find inspiration to write good properties
Pull Request -
State: closed - Opened by ggrieco-tob about 3 years ago
#66 - How to find inspiration to write good properties
Pull Request -
State: closed - Opened by ggrieco-tob about 3 years ago
#65 - Segmentation fault when add "--config"
Issue -
State: closed - Opened by tjuwhy about 3 years ago
#65 - Segmentation fault when add "--config"
Issue -
State: closed - Opened by tjuwhy about 3 years ago
#64 - Update to echidna 1.7.2
Pull Request -
State: closed - Opened by ggrieco-tob about 3 years ago
#64 - Update to echidna 1.7.2
Pull Request -
State: closed - Opened by ggrieco-tob about 3 years ago
#63 - Smart contract fuzzing at scale using our version of echidna-parade
Pull Request -
State: closed - Opened by ggrieco-tob about 3 years ago
#63 - Smart contract fuzzing at scale using our version of echidna-parade
Pull Request -
State: closed - Opened by ggrieco-tob about 3 years ago
#62 - Fixes for Solidity 0.5.11 / omission of a contract name in a test
Pull Request -
State: closed - Opened by ghost over 3 years ago
- 2 comments
#62 - Fixes for Solidity 0.5.11 / omission of a contract name in a test
Pull Request -
State: closed - Opened by ghost over 3 years ago
- 2 comments
#61 - Add "how to test bytecode only contracts" tutorial
Pull Request -
State: closed - Opened by montyly over 3 years ago
#61 - Add "how to test bytecode only contracts" tutorial
Pull Request -
State: closed - Opened by montyly over 3 years ago
#60 - Add fuzzing tips
Pull Request -
State: closed - Opened by montyly over 3 years ago
#60 - Add fuzzing tips
Pull Request -
State: closed - Opened by montyly over 3 years ago
#59 - Fixed manticore CI
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#59 - Fixed manticore CI
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#58 - add echidna exercises 5 and 6: DeFi CTF
Pull Request -
State: closed - Opened by hacker-DOM over 3 years ago
- 3 comments
#58 - add echidna exercises 5 and 6: DeFi CTF
Pull Request -
State: closed - Opened by hacker-DOM over 3 years ago
- 3 comments
#57 - Add tutorial on how to test bytecode-only contracts with Echidna
Issue -
State: closed - Opened by montyly over 3 years ago
- 1 comment
#57 - Add tutorial on how to test bytecode-only contracts with Echidna
Issue -
State: closed - Opened by montyly over 3 years ago
- 1 comment
#56 - Add Echidna recommendation for github action
Issue -
State: open - Opened by montyly over 3 years ago
Labels: help wanted, high priority
#56 - Add Echidna recommendation for github action
Issue -
State: open - Opened by montyly over 3 years ago
Labels: help wanted, high priority
#55 - Smart contract fuzzing at scale
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#55 - Smart contract fuzzing at scale
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#54 - Add Echidna tips & tricks
Issue -
State: closed - Opened by montyly over 3 years ago
- 3 comments
#54 - Add Echidna tips & tricks
Issue -
State: closed - Opened by montyly over 3 years ago
- 3 comments
#53 - Updated corpus tutorial to add trace visualization
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#53 - Updated corpus tutorial to add trace visualization
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#52 - Update to Echidna 1.7.0
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#52 - Update to Echidna 1.7.0
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#51 - Tutorial on end-to-end testing with Echidna
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
- 4 comments
#51 - Tutorial on end-to-end testing with Echidna
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
- 4 comments