An efficient and lightweight smart contracts analysis tool - View it on GitHub