A suite of micro-benchmarks covering everything you wanted to test in a smart-contract analysis/linting tool - View it on GitHub