paper research 1d ago · 
arxiv-cs-se
ParityFuzz: Solidityコンパイラ間の差分を細粒度変異とdifferential解析で検出 ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis
AI要約 研究者らはSolidityコンパイラ間の不整合を発見するファジングツールParityFuzzを提案。AST単位の細粒度変異と差分解析で複数バージョン・実装のコンパイラ間の挙動差を検出し、スマートコントラクトの安全性向上に寄与する可能性がある。
EN ParityFuzz is a differential fuzzing tool that uses fine-grained AST-level mutations to surface behavioral inconsistencies across Solidity compilers, helping detect subtle bugs that could threaten smart contract correctness and security.