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

GitHub / crytic/building-secure-contracts issues and pull requests