Syntax-Aware Mutation for Testing the Solidity Compiler

Charalambos Mitropoulos, T. Sotiropoulos, S. Ioannidis, Dimitris Mitropoulos. 2023. European Symposium on Research in Computer Security.

Read the paper · doi:10.1007/978-3-031-51479-1_17

What this paper does with SQLancer

Data-oriented systems are cited once, in the introduction's list of domains fuzzing has been applied to, alongside system libraries, web and cloud applications, and compilers. SQLancer's work is the citation behind the data-oriented half. The paper's subject is compiler testing and nothing of SQLancer's plays a role in it. This work tests the Solidity compiler with syntax-aware mutation, transforming smart-contract source in ways that keep it compilable so the mutants reach the compiler's later stages, where miscompilation bugs live. Written by claude-opus-5 from the 1 place this paper refers to SQLancer. The quotations below are the paper's own words, stored verbatim when the text was extracted.

How it was classified

uses infrastructure — no

SQLancer is cited as related work; no reuse of its code, generator or workload is described.

extends technique — no

No SQLancer technique is extended; the citation is background.

compares with — no

No empirical comparison against SQLancer or one of its oracles is reported.

describes as state of the art — no

The text does not describe SQLancer as the state of the art.

SQLancer publications it cites (1)

Bibliography entries that resolved to a SQLancer publication, or to a paper by one of the project's authors. A sentence citing one of these numbers is a reference to SQLancer even when it never writes the name.

#	Entry	Matched as
39	Rigger, M., Su, Z.: Testing database engines via pivoted query synthesis. In: 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI2020), pp. 667–682. USENIX Association (2020)	sqlancer publication · PQS

Every place it refers to SQLancer (1)

1 sentence, each stored verbatim from the extracted text with where it was found and how. “Citation marker” means the sentence names no tool at all and was reached through a reference number that resolved to a SQLancer publication.

Id	Sentence	Found by	Where
M1	Fuzzing has been used to identify bugs in miscellaneous entities such as system libraries [ 35], web and cloud applications [ 10], data-oriented systems [ 39,40], and compilers [ 19,34,48].	citation marker background	1 Introduction page 2

This page is rendered from _data/papers/paper_doi_10_1007_978_3_031_51479_1_17.json, extracted from supplied pdf. 21 pages, 50 references parsed.