Write Better Smart Contracts By Checking Them With Slither

The correctness and security of smart contracts is forefront in the mind of most developers. Slither is a static analyzer (aka linter/ code checker) for Solidity smart contracts with nearly 100 rules that detect common mistakes and security vulnerabilities.

When reviewing smart contracts for issues, many employ automated tooling like Slither, but it's even more valuable to customize rules to each codebase individually. We will cover how to get the most out of static analysis by using Slither’s Python API to analyze program properties such as variable dependencies and state inconsistencies. Attendees will walk away knowing how to tailor static analysis to their needs and write high assurance smart contracts.