Enhancing Slither with New Detectors for Improved Smart Contract Security

[rzpbcodes]

Hi everyone,

I have been using Slither for several months and find it to be an invaluable tool for both developers and auditors. As part of my thesis on smart contract security, I have been working on implementing new detectors for Slither, primarily focused on gas optimization. I have already developed and am currently testing a few detectors in this area.

While reviewing research papers on static analyzers, I noticed that Slither is consistently recognized as one of the best-performing tools. Given this, I believe that instead of improving another tool, we should focus on expanding Slither’s detection capabilities. By adding new detectors and improving its coverage, we can enhance its ability to identify a wider range of smart contract vulnerabilities.

I would love to hear ideas, suggestions, or feedback on:

1. Potential new vulnerability detectors that could be implemented
2. Areas within Slither that could be improved for better coverage
3. Other ways to contribute to Slither’s development

Looking forward to your insights and discussions!

Best regards,