Describir: Systematic Security Analysis of Decentralized Applications and Smart Contracts