English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

The emergence of quantum computing raises the question of how to identify(security-relevant) programming errors during development. However, currentstatic code analysis tools fail to model information specific to quantumcomputing. In this paper, we identify this information and propose to extendclassical code analysis tools accordingly. Among such tools, we identify theCode Property Graph to be very well suited for this task as it can be easilyextended with quantum computing specific information. For our proof of concept,we implemented a tool which includes information from the quantum world in thegraph and demonstrate its ability to analyze source code written in Qiskit andOpenQASM. Our tool brings together the information from the classical andquantum world, enabling analysis across both domains. By combining all relevantinformation into a single detailed analysis, this powerful tool can facilitatetackling future quantum source code analysis challenges.

A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis