GitHub repository: thec00n/Omnibus
Description: A suite of micro-benchmarks covering everything you wanted to test in a smart-contract analysis/linting tool