Silva, G., Ahrendt, W., & Bubel, R. Solidity Key Rules [Computer software]. https://github.com/SolidiKeY/solidity-key-rules