Static Analyzer for Starknet smart contracts - View it on GitHub