← Research building on SQLancer

Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang, W. Meng. 2023. International Symposium on Software Testing and Analysis.

Read the paper · doi:10.1145/3597926.3598068

What this paper does with SQLancer

The citations that shape the paper are to work by a SQLancer author on C compiler optimisation testing, which DITWO says inspired its differential setting. SQLancer itself appears once, listing databases among the domains where differential testing is used. DITWO looks for optimisations that WebAssembly optimizers miss, motivated by findings that real wasm applications run slower than expected. It compiles a C program to both a native x86 executable and a wasm executable, then compares optimization indication traces -- global variable writes and function calls -- and treats divergence as a missed optimisation. Analysing wasm-opt it identified 1,293 inputs triggering missed optimisations and nine root causes. Written by claude-opus-5 from the 5 places 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, not used; nothing in the mentions describes reusing its code.

extends technique — no

No technique is extended; the citation is background.

compares with — no

No empirical comparison against SQLancer is reported in the mentions.

describes as state of the art — no

The citation does not characterise SQLancer as the state of the art.

SQLancer publications it cites (2)

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.

#EntryMatched as
66 Manuel Rigger and Zhendong Su. 2020. Detecting optimization bugs in database engines via non-optimizing reference engine construction. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conf... sqlancer publication · NOREC
80 Theodoros Theodoridis, Manuel Rigger, and Zhendong Su. 2022. Finding missed optimizations through the lens of dead code elimination. In Proceedings of the 27th ACM International Conference on Architectural Support for... project authored

Every place it refers to SQLancer (5)

5 sentences, 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 Inspired by contemporary research on testing C compiler optimizations [ 80], we instead explore a differential testing setting, by treating native x86 executables fully optimized by modern C compilers as the “reference” to unveil MO. citation marker project authored
background 		1 INTRODUCTION
page 2
M2 While recent research has conducted empirical studies to evaluate MO in GCC/Clang [ 79,80], they mainly focus on dead code elimination and code size optimization when compiling C code to x86 executables. citation marker project authored
background 		3 MOTIVATION
page 4
M3 4 and argued by relevant works [ 79,80], GW and FC heavily depend on the whole optimization pipeline. citation marker project authored
background 		5 TRACE CONSISTENCY CHECKS
page 5
M4 Differential testing (DT) is used in different software domains, including databases [ 66, 72], Java Virtual Machines (JVMs) [ 21,22], symbolic execution engines [ 45], disassemblers [ 63], decompilers [ 54], and deep learning systems [37]. citation marker
background 		7.3 RQ3: Lessons and Future Improvements
page 11
M5 Beyond finding functionality bugs, recent work also explores locating missed optimization opportunities with DT to improve C compiler infrastructures [ 18,80]. citation marker project authored
background 		7.3 RQ3: Lessons and Future Improvements
page 11

This page is rendered from _data/papers/paper_doi_10_1145_3597926_3598068.json, extracted from supplied pdf. 13 pages, 89 references parsed.