DeFi is an emerging application for decentralized asset management over blockchain technology. DeFi is becoming a major economic vehicle in modern society. The Ethereum blockchain alone already stores more than 235 billion USD.

One of the basic principles behind DeFis is that the code is the law and computer programs called smart contracts dictate the conditions and the effects for asset transactions. This groundbreaking idea has many pleasant benefits. However, bugs in smart contracts and in their applications can be exploited to steal or deny access to assets. Mitigation and prevention of such damages are challenging and require new software development methodologies. Hundreds of millions in USD value have already been lost due to bugs in smart contracts. Therefore, code security is a major concern for DeFi.