Deng, Xun; Beillahi, Sidi Mohamed; Minwalla, Cyrus; Du, Han - 2024
This paper presents OVer, a framework designed to automatically analyze the behaviour of decentralized finance (DeFi) protocols when subjected to a "skewed" oracle input. OVer firstly performs a symbolic analysis on the given contract and constructs a model of constraints. Then, the framework...