Autsec: Automate tool to identify vulnerabilities in smart contracts | Product Hunt