Integration statischer Code-Analyse in Entwicklungsumgebungen: Ein entwicklerorientierter Ansatz für Smart Contracts