[논문 리뷰] A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis

Maximilian Kaul, Alexander Küchler외 1명|arXiv (Cornell University)|2023. 08. 11.

Quantum Computing Algorithms and ArchitectureComputer Science참고 문헌 36인용 수 3

한 줄 요약

이 논문은 고전적 및 양자 소스 코드를 함께 분석할 수 있도록 확장된 코드 성질 그래프(CPG)를 사용하는 통합 정적 분석 프레임워크를 제안한다. 큐비트 의존성, 양자 게이트, 고전-양자 인터페이스와 같은 양자 전용 노드와 간선을 CPG에 추가함으로써, Qiskit 및 OpenQASM에서 하이브리드 프로그램의 도메인 간 분석을 가능하게 하며, 한 개의 확장 가능한 표현 방식에서 버그, 데이터 흐름 문제, 복잡도 메트릭스를 모두 탐지할 수 있다.

ABSTRACT

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.

연구 동기 및 목표

• 고전적 및 양자 코드를 함께 분석할 수 있는 정적 분석 도구의 부족, 특히 이 둘의 인터페이스에서의 분석 부족을 해결하기 위해.
• 하이브리드 양자 프로그램에서 흔히 발생하는 오류 패턴(예: 사용되지 않는 결과 큐비트, 상수 조건, 불필요한 연산)을 식별하기 위해.
• 확장된 CPG에 양자 전용 의미 체계를 추가하여 양자 프로그램의 스케일러블하고 언어에 구애받지 않는 분석을 지원하기 위해.
• 통합 그래프 모델을 통해 양자 회로 복잡도 메트릭스와 보안 관련 성질을 자동으로 측정할 수 있도록 하기 위해.

제안 방법

• 양자 연산, 큐비트 레지스터, 양자 게이트 의존성 등을 모델링하기 위해 기존 CPG 프레임워크에 새로운 노드 및 간선 유형을 추가한다.
• 큐비트 노드, 양자 게이트 간선, 얽힘 추적과 같은 양자 전용 구성 요소를 도입하여 양자 상태의 진화를 표현한다.
• 강화된 EOG 및 DFG 간선을 사용하여 고전-양자 경계를 넘는 제어 흐름과 데이터 흐름을 모델링함으로써 고전적 및 양자 부분을 연결한다.
• Qiskit(Python 기반) 및 OpenQASM의 언어 프론트엔드를 사용하여 소스 코드를 확장된 CPG 구조로 파싱한다.
• 특정 그래프 쿼리를 사용하여 사용되지 않는 결과 비트, 상수 고전 비트, 중복된 연산과 같은 알려진 오류 패턴을 탐지한다.
• 확장된 그래프를 순회함으로써 깊이, 폭, 게이트 수와 같은 양자 회로 복잡도 메트릭스를 자동으로 계산할 수 있도록 지원한다.

실험 결과

연구 질문

• RQ1 하이브리드 프로그램에서 고전적 및 양자 코드를 함께 분석할 수 있는 단일 통합 정적 분석 프레임워크는 어떻게 설계할 수 있는가?
• RQ2 고전 제어 논리와 양자 연산 간의 인터페이스에서 발생하는 주요 오류 패턴은 무엇인가?
• RQ3 코드 성질 그래프(CPG)는 큐비트 얽힘, 게이트 연산, 양자 메모리와 같은 양자 전용 개념을 어떻게 모델링할 수 있는가?
• RQ4 확장된 CPG 위에서 실행되는 그래프 쿼리는 알려진 보안 및 정확성 관련 버그를 탐지할 수 있는가?
• RQ5 통합 그래프 표현에서 얼마나 정확하게 양자 회로의 복잡도 메트릭스를 자동으로 유도할 수 있는가?

주요 결과

• 확장된 양자 코드 성질 그래프(QCPG)는 고전적 및 양자 코드를 단일이고 일관된 그래프 구조로 모델링하여 도메인 간 분석을 가능하게 했다.
• 프로토타입 구현은 특정 그래프 쿼리를 통해 사용되지 않는 결과 비트, 상수 고전 비트, 불필요한 양자 연산과 같은 알려진 오류 패턴을 탐지했다.
• 이 프레임워크는 깊이, 폭, 게이트 수와 같은 양자 회로 복잡도 메트릭스를 자동으로 계산할 수 있으며, 이는 실제 하드웨어에서의 실행 가능성 평가에 필수적이다.
• 이 방법은 확장 가능하며, 여러 양자 프로그래밍 언어를 지원하며, 프로토타입에서 Qiskit 및 OpenQASM에 대한 네이티브 지원을 제공한다.
• 이 방법은 고전적 및 양자 컴포onent 간의 데이터 흐름과 제어 흐름을 분석할 수 있어, 하이브리드 프로그램에서 미묘한 논리 오류를 식별하는 데 핵심적이다.
• 이 솔루션은 기존 CPG 분석과의 후행 호환성을 유지하여, 고전 코드 분석은 그대로 진행하면서도 양자 인식 기반의 추론을 추가로 지원한다.