Closed enzoferey closed 9 months ago
SmartCheck project has been deprecated since 2020 as stated in their README https://github.com/smartdec/smartcheck. Their online version has been shut down since then but it is mentioned in the learning path here.
We should probably replace it with some code analyzer from https://consensys.github.io/smart-contract-best-practices/security-tools/static-and-dynamic-analysis/ or any other tool based on Protofire's preference.
SmartCheck project has been deprecated since 2020 as stated in their README https://github.com/smartdec/smartcheck. Their online version has been shut down since then but it is mentioned in the learning path here.
We should probably replace it with some code analyzer from https://consensys.github.io/smart-contract-best-practices/security-tools/static-and-dynamic-analysis/ or any other tool based on Protofire's preference.