|

Integration of Static Code Analysis into IDEs: A Developer-centric Approach for Smart Contracts