Rule-Based Hardware-Configurable Static Analysis for Quantum Programs. - Yi-Ting Chen; Lauren Capelluto; Ryan Shaffer; Jeffrey Heckey (QCE, 2025)