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

#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