EthereumZuri.ch 2024

Enhancing IDEs with Real-Time Static Analysis for Solidity Development
04-06, 13:25–14:55 (Europe/Zurich), Merge Stage

The workshop introduces a unique way of enhancing LSP (Language Server Protocol) compatible editors with custom text and visual decorations. The presented concept opens new possibilities for Solidity source code analysis, replacing labor-intensive manual tasks with simple scripts in Python.

Participants of the workshop will learn how to effectively highlight specific segments of Solidity code and visualize critical information derived from source code analysis. Moreover, attendees will understand the basics of Solidity Abstract Syntax Trees, an internal representation of Solidity source code.

Given the dynamic nature of the IDE enhancements, the workshop holds particular value for auditors and reviewers who are tasked with ensuring code quality and security, as well as developers seeking to streamline their coding process.


The workshop introduces a unique way of enhancing LSP (Language Server Protocol) compatible editors with custom text and visual decorations. The presented concept opens new possibilities for Solidity source code analysis, replacing labor-intensive manual tasks with simple scripts in Python.

Participants of the workshop will learn how to effectively highlight specific segments of Solidity code and visualize critical information derived from source code analysis. Moreover, attendees will understand the basics of Solidity Abstract Syntax Trees, an internal representation of Solidity source code.

Given the dynamic nature of the IDE enhancements, the workshop holds particular value for auditors and reviewers who are tasked with ensuring code quality and security, as well as developers seeking to streamline their coding process.

Michal is a blockchain enthusiast, a graduate of Computer Security at CTU Prague, currently working on open-source tooling for secure and efficient Solidity development.

This speaker also appears in:

Security researcher at Ackee Blockchain. Studying and teaching at universities. Trying to become Ph.D. dropout.