In my spare time I build a static analyzer for Solidity-based smart contracts.