← Research building on SQLancer

Christoph Hochrainer, Valentin Wüstholz, Maria Christakis. 2025. arXiv.org.

Read the paper · arXiv:2509.10819

What this paper does with SQLancer

No SQLancer mention is present. The paper's 47 references parsed cleanly and none of them is a SQLancer publication, so this is a genuine absence rather than an extraction failure. Its inclusion among SQLancer-citing papers comes from the upstream citation graph, most likely through a paper by one of the project's authors on another subject. Arguzz tests zero-knowledge virtual machines for soundness and completeness bugs -- cases where a zk VM accepts a proof of a false statement, or rejects a proof of a true one. Both are security-critical, since a zk VM's whole purpose is that its verdicts can be trusted without re-execution. Written by claude-opus-5 from the 0 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 — insufficient evidence

The extracted text contains no sentence naming SQLancer or one of its techniques, and no bibliography entry resolved to a SQLancer publication. With no mention to reason from, no relationship can be judged either way.

extends technique — insufficient evidence

The extracted text contains no sentence naming SQLancer or one of its techniques, and no bibliography entry resolved to a SQLancer publication. With no mention to reason from, no relationship can be judged either way.

compares with — insufficient evidence

The extracted text contains no sentence naming SQLancer or one of its techniques, and no bibliography entry resolved to a SQLancer publication. With no mention to reason from, no relationship can be judged either way.

describes as state of the art — insufficient evidence

The extracted text contains no sentence naming SQLancer or one of its techniques, and no bibliography entry resolved to a SQLancer publication. With no mention to reason from, no relationship can be judged either way.

What could not be determined

  • Why this paper is in the citing set. Its bibliography parsed completely and contains no SQLancer publication.

This page is rendered from _data/papers/paper_arxiv_2509_10819.json, extracted from arxiv. 30 pages, 47 references parsed.