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
#50 - Update to Echidna 1.6.1
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#50 - Update to Echidna 1.6.1
Pull Request -
State: closed - Opened by ggrieco-tob over 3 years ago
#49 - Add tutorial: how to use etheno to seed Echidna
Issue -
State: closed - Opened by montyly almost 4 years ago
- 1 comment
Labels: Echidna
#49 - Add tutorial: how to use etheno to seed Echidna
Issue -
State: closed - Opened by montyly almost 4 years ago
- 1 comment
Labels: Echidna
#48 - Wrong Contract owner address
Issue -
State: closed - Opened by kevinjanada almost 4 years ago
- 2 comments
#48 - Wrong Contract owner address
Issue -
State: closed - Opened by kevinjanada almost 4 years ago
- 2 comments
#47 - Update fuzzing-introduction.md
Pull Request -
State: closed - Opened by sudo-owen almost 4 years ago
- 2 comments
#47 - Update fuzzing-introduction.md
Pull Request -
State: closed - Opened by sudo-owen almost 4 years ago
- 2 comments
#46 - Update Echidna to 1.6.0
Pull Request -
State: closed - Opened by ggrieco-tob almost 4 years ago
#46 - Update Echidna to 1.6.0
Pull Request -
State: closed - Opened by ggrieco-tob almost 4 years ago
#45 - Improved assertion checking tutorial
Pull Request -
State: closed - Opened by ggrieco-tob almost 4 years ago
#45 - Improved assertion checking tutorial
Pull Request -
State: closed - Opened by ggrieco-tob almost 4 years ago
#44 - Merge master to trufflecon
Pull Request -
State: closed - Opened by montyly almost 4 years ago
#44 - Merge master to trufflecon
Pull Request -
State: closed - Opened by montyly almost 4 years ago
#43 - Update to latest Echidna
Pull Request -
State: closed - Opened by montyly almost 4 years ago
#43 - Update to latest Echidna
Pull Request -
State: closed - Opened by montyly almost 4 years ago
#42 - Fix Manticore CI
Pull Request -
State: closed - Opened by montyly almost 4 years ago
#42 - Fix Manticore CI
Pull Request -
State: closed - Opened by montyly almost 4 years ago
#41 - Test against latest Manticore
Pull Request -
State: closed - Opened by ehennenfent almost 4 years ago
- 2 comments
#41 - Test against latest Manticore
Pull Request -
State: closed - Opened by ehennenfent almost 4 years ago
- 2 comments
#40 - docs: be more precise in assertion-checking.md
Pull Request -
State: closed - Opened by PaulRBerg almost 4 years ago
- 1 comment
#40 - docs: be more precise in assertion-checking.md
Pull Request -
State: closed - Opened by PaulRBerg almost 4 years ago
- 1 comment
#39 - docs: fix typo in assertion-checking.md
Pull Request -
State: closed - Opened by PaulRBerg almost 4 years ago
#39 - docs: fix typo in assertion-checking.md
Pull Request -
State: closed - Opened by PaulRBerg almost 4 years ago
#38 - WIP update exercise links and typos
Pull Request -
State: closed - Opened by rmi7 almost 4 years ago
- 1 comment
#38 - WIP update exercise links and typos
Pull Request -
State: closed - Opened by rmi7 almost 4 years ago
- 1 comment
#37 - Specific advice about CREATE2
Issue -
State: open - Opened by dguido about 4 years ago
#37 - Specific advice about CREATE2
Issue -
State: open - Opened by dguido about 4 years ago
#36 - Mention somewhere that SafeIERC20 is strongly preferred
Issue -
State: open - Opened by dguido about 4 years ago
#36 - Mention somewhere that SafeIERC20 is strongly preferred
Issue -
State: open - Opened by dguido about 4 years ago
#35 - List real-world examples of Echidna/Manticore integration
Issue -
State: open - Opened by montyly about 4 years ago
- 4 comments
#35 - List real-world examples of Echidna/Manticore integration
Issue -
State: open - Opened by montyly about 4 years ago
- 4 comments
#34 - s/deliverate/deliberate/
Pull Request -
State: closed - Opened by alphastorm about 4 years ago
- 1 comment
#34 - s/deliverate/deliberate/
Pull Request -
State: closed - Opened by alphastorm about 4 years ago
- 1 comment
#33 - Update token_integration.md
Pull Request -
State: closed - Opened by montyly about 4 years ago
- 1 comment
#33 - Update token_integration.md
Pull Request -
State: closed - Opened by montyly about 4 years ago
- 1 comment
#32 - Adjust mcore API
Pull Request -
State: closed - Opened by feliam about 4 years ago
- 2 comments
#32 - Adjust mcore API
Pull Request -
State: closed - Opened by feliam about 4 years ago
- 2 comments
#31 - Add tokens integration checklist
Pull Request -
State: closed - Opened by montyly about 4 years ago
#31 - Add tokens integration checklist
Pull Request -
State: closed - Opened by montyly about 4 years ago
#30 - Split the development guidelines into multiple files
Pull Request -
State: closed - Opened by montyly about 4 years ago
#30 - Split the development guidelines into multiple files
Pull Request -
State: closed - Opened by montyly about 4 years ago
#29 - Add manticore-verifier tutorials
Issue -
State: open - Opened by montyly about 4 years ago
Labels: Manticore
#29 - Add manticore-verifier tutorials
Issue -
State: open - Opened by montyly about 4 years ago
Labels: Manticore
#28 - Update determine-properties.md
Pull Request -
State: closed - Opened by dguido about 4 years ago
#28 - Update determine-properties.md
Pull Request -
State: closed - Opened by dguido about 4 years ago
#27 - Tutorial on how to connect Manticore to a remote node
Issue -
State: open - Opened by montyly over 4 years ago
Labels: Manticore, Intermediate level
#27 - Tutorial on how to connect Manticore to a remote node
Issue -
State: open - Opened by montyly over 4 years ago
Labels: Manticore, Intermediate level
#26 - Add Echidna example to test contracts handling ether
Issue -
State: closed - Opened by ggrieco-tob over 4 years ago
- 2 comments
#26 - Add Echidna example to test contracts handling ether
Issue -
State: closed - Opened by ggrieco-tob over 4 years ago
- 2 comments
#25 - Add Echidna example to test with Solidity libraries
Issue -
State: closed - Opened by ggrieco-tob over 4 years ago
- 2 comments
#25 - Add Echidna example to test with Solidity libraries
Issue -
State: closed - Opened by ggrieco-tob over 4 years ago
- 2 comments
#24 - Added CI badge
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
#24 - Added CI badge
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
#23 - Manticore: show how to analyze bytecode only contracts
Issue -
State: open - Opened by montyly over 4 years ago
Labels: Manticore, Intermediate level
#22 - Manticore: show how to use the quick-mode in script
Issue -
State: open - Opened by montyly over 4 years ago
- 1 comment
Labels: Manticore
#21 - Improving grammar
Pull Request -
State: closed - Opened by dguido over 4 years ago
- 1 comment
#20 - Upgrade to Echidna 1.4.0.0
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
- 2 comments
#19 - Tutorial on how to find transactions with high gas consumption
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
- 2 comments
#18 - Tutorial on how to filter functions during a fuzzing campaign
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
- 2 comments
#17 - Echidna: fix links
Pull Request -
State: closed - Opened by montyly over 4 years ago
#16 - Assertion checking with Echidna
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
- 1 comment
#15 - Fix Echidna download link that produce a failure in the Github Actions
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
#14 - Tutorial on how to collect and manipulate an Echidna corpus
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
- 1 comment
#13 - Update echidna tutorials/exercises to use the new command line
Issue -
State: closed - Opened by ggrieco-tob over 4 years ago
- 1 comment
Labels: Echidna
#12 - The solution for the slither exercise 2 is not general enough
Issue -
State: open - Opened by ggrieco-tob over 4 years ago
Labels: question, Slither
#11 - Minor fixes in the 2nd exercise for slither
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
#10 - The solution for the slither exercise 1 is not general enough
Issue -
State: closed - Opened by ggrieco-tob over 4 years ago
Labels: question, Slither
#9 - Improved introduction to static analysis for Slither
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
#8 - Echidna: Add crytic integration walkthrough
Issue -
State: closed - Opened by montyly over 4 years ago
Labels: documentation, Echidna
#7 - Add discussion on testing patterns
Issue -
State: closed - Opened by montyly over 4 years ago
- 4 comments
Labels: documentation, help wanted
#6 - Add an example of multiple contracts fuzzing with Echidna
Issue -
State: closed - Opened by montyly over 4 years ago
- 1 comment
Labels: documentation, Echidna, New exercise
#5 - Show how to use slither-flat with Echidna
Issue -
State: open - Opened by montyly over 4 years ago
Labels: documentation, Echidna
#4 - Add complex initialization with Echidna example
Issue -
State: closed - Opened by montyly over 4 years ago
- 1 comment
Labels: enhancement, Echidna
#3 - Show how to use the Manticore plugin feature
Issue -
State: open - Opened by montyly over 4 years ago
Labels: Manticore, New exercise, Intermediate level
#2 - Update "Determine Properties" section
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
- 1 comment
#1 - Improved running under manticore section
Pull Request -
State: closed - Opened by ggrieco-tob over 4 years ago
- 1 comment