LintQ: A Static Analysis Framework for Qiskit Quantum Programs.

Matteo Paltenghi Michael Pradel

Published in: CoRR (2023)

Keyphrases

static analysis
abstract interpretation
probabilistic model
symbolic execution
relational databases
source code
database systems
domain knowledge
operating system
regular expressions
dynamic analysis