Unknown techniques used by the Remix IDE static analysis plugin

Determine the static analysis techniques employed by the Remix Integrated Development Environment’s static analysis plugin, including the methodological approach and implementation details that explain how the plugin detects issues in Solidity smart contracts.

Background

Remix is a widely used Integrated Development Environment for Ethereum development that offers an emulated network, deployment and interaction capabilities, and integrations with tools such as Solhint and Slither. It also includes its own static analysis plugin, which the authors previously found to yield notable results compared to most tools.

Despite its practical relevance and observed effectiveness, the documentation or public description of the techniques underpinning Remix’s static analysis plugin is unavailable, preventing clear understanding and rigorous comparison with other tools. Establishing the plugin’s methodological basis would aid reproducibility, evaluation, and integration in research and practice.