Add Multiple Security Rule Checks for DeFi Projects #2389
Closed
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Over the past year, I've developed several security rule checks specifically designed for DeFi projects, and I believe these will greatly enhance Slither's capabilities in identifying potential security risks within smart contracts. This contribution includes a variety of checks, such as:
In addition to the rule checks, I have included comprehensive test cases for each to facilitate thorough evaluation and integration.
I understand that these contributions may require extensive discussion, possible code optimization, and additional descriptive documentation. I'm fully prepared to engage in these discussions and make necessary adjustments. Furthermore, I have compiled a set of summary documents and thought processes behind these rule developments, which I'm happy to share upon request. These documents could provide valuable insights into the rationale and methodology of the rule checks.
This effort aligns with the ongoing initiative to open-source more rules as part of the MetaTrustLabs Falcon project, and I believe it would be beneficial to include these checks in Slither as part of a collaborative push towards enhancing smart contract security.
Looking forward to your feedback and the opportunity to discuss these contributions further.
BradMoonUESTC