We have extensive tests written for our smart contracts but usually, that is not enough.
There are 4 main techniques for finding bugs
○ Unit tests
○ Manual analysis
○ Fully automated analysis
○ Semi-automated analysis
We did unit tests.
We did some manual analysis but could be done more, first internally that we do audits then we do external audits by decentralized services like Sherlock or Code4arena and/or audit companies/solo audits.
Fully automated analysis, with tools like Slither.
Semi-automated with tools like Echinda where we do fuzzing/property-based testing.
We have extensive tests written for our smart contracts but usually, that is not enough.
There are 4 main techniques for finding bugs
○ Unit tests
○ Manual analysis
○ Fully automated analysis
○ Semi-automated analysis
We did unit tests.
We did some manual analysis but could be done more, first internally that we do audits then we do external audits by decentralized services like Sherlock or Code4arena and/or audit companies/solo audits.
Fully automated analysis, with tools like Slither.
Semi-automated with tools like Echinda where we do fuzzing/property-based testing.