Enhancing Solidity Compiler Reliability Through Advanced Mutation-Based Testing and Context-Aware Differential Analysis

Description

This talk introduces a mutation-based framework for Solidity compiler verification, combining LLM-augmented seeding, Yul inline assembly mutations, and state-aware differential testing. It identified 64+ bugs (solc/zksolc) including critical code