all InfoSec news
A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis. (arXiv:2308.06113v1 [cs.CR])
cs.CR updates on arXiv.org arxiv.org
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, …
analysis code code analysis computing current development errors fail identify information programming quantum quantum computing question relevant representation security source code static code analysis tools