We significantly expand the functionality of Slither, automating the search for vulnerabilities associated with security issues that we have encountered and continue to encounter in our audit practice.
In addition, we have added integration detectors. Often projects use the functionality of popular protocols (Uniswap, Aave, Compound, Balancer, etc.), but integrations always imply a clear understanding of the details of these complex protocols and strict adherence to documentation. To simplify and accelerate this process, we have created (and keep on creating) integration detectors. These are automated checks that inform the user about incorrect use of a particular functionality of the integrated protocol and provide recommendations for their elimination.