Year: 2025
Type: conference-paper
Abstract: Boundary violations—array out-of-bounds accesses, integer overflows, and stray pointer offsets—remain a leading cause of software failure. Classical analyses such as abstract interpretation and symbolic execution try to detect such errors, yet the exponential growth of program states forces them to trade precision for scalability. We introduce QCheck, the first quantum framework aimed at boundary checking of classical programs.
Authors: Yicheng Guang, Pietro Zanotta, Kai Zhou, Yueqi Chen, Ramin Ayanzadeh
Institution: University of Colorado Boulder
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
OpenAlex ID: W4414760392