“…With enormous funds flowing into the decentralized finance (DeFi) applications, these scams become lucrative moneymaking opportunities for attackers. Previous research studied several different aspects of crypto-economic attacks, e.g., financial repercussions due to transaction reordering [60,62,73,83], flash loan abuse [74], arbitrage opportunities [82], pumpand-dump schemes [64,69,80], etc. Besides protocol attacks, there exists a substantial body of work on automated detection of smart contract vulnerabilities, e.g., reentrancy, transaction order dependence, integer overflows, and unhandled exceptions [16, 34, 56, 58, 63, 65-68, 71, 72, 77, 81].…”