A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis
Sparad:
| I publikationen: | arXiv.org (Dec 12, 2023), p. n/a |
|---|---|
| Huvudupphov: | |
| Övriga upphov: | , |
| Utgiven: |
Cornell University Library, arXiv.org
|
| Ämnen: | |
| Länkar: | Citation/Abstract Full text outside of ProQuest |
| Taggar: |
Inga taggar, Lägg till första taggen!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 2850388779 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 024 | 7 | |a 10.1109/QCE57702.2023.00115 |2 doi | |
| 035 | |a 2850388779 | ||
| 045 | 0 | |b d20231212 | |
| 100 | 1 | |a Kaul, Maximilian | |
| 245 | 1 | |a A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis | |
| 260 | |b Cornell University Library, arXiv.org |c Dec 12, 2023 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a The emergence of quantum computing raises the question of how to identify (security-relevant) programming errors during development. However, current static code analysis tools fail to model information specific to quantum computing. In this paper, we identify this information and propose to extend classical code analysis tools accordingly. Among such tools, we identify the Code Property Graph to be very well suited for this task as it can be easily extended with quantum computing specific information. For our proof of concept, we implemented a tool which includes information from the quantum world in the graph and demonstrate its ability to analyze source code written in Qiskit and OpenQASM. Our tool brings together the information from the classical and quantum world, enabling analysis across both domains. By combining all relevant information into a single detailed analysis, this powerful tool can facilitate tackling future quantum source code analysis challenges. | |
| 653 | |a Quantum computing | ||
| 653 | |a Source code | ||
| 653 | |a Static code analysis | ||
| 653 | |a Tools | ||
| 700 | 1 | |a Küchler, Alexander | |
| 700 | 1 | |a Banse, Christian | |
| 773 | 0 | |t arXiv.org |g (Dec 12, 2023), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/2850388779/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/2308.06113 |