Automated Detection of Decentralized Finance (DeFi) Vulnerabilities Using Context-Sensitive Concolic Verification

Context-Sensitive Concolic Verification (CSCV) is an effective method for automatically identifying various types of DeFi vulnerabilities by leveraging user-defined temporal properties.