Posted onFebruary 2, 2023February 2, 2023inTechnology Can Ethereum Smart Contract Audits Be Fully Automated?