html-feedback-bot[bot]
commented
2 months ago Location in document: ltx_tag
Selected HTML:
1import python
2from If ifstmt, Stmt pass
3where pass = ifstmt.getStmt(0) and
4 pass instanceof Pass
5select ifstmt, "This ’if’ statement is redundant."\end{lstlisting}
6 \caption{Example CodeQL query to find code redundant if statements.}
7 \label{fig:example_codeql}
8 \end{minipage}
9 \hfill
10 \begin{minipage}[b]{.45\textwidth}
11 \includegraphics[width=\textwidth]{images/overview.pdf}
12 \caption{Overview of \approachName{}.}
13 \label{fig:method_overview}
14 \end{minipage}
15 \end{minipage}
16\end{figure}
17
18
19\section{Overview of \approachName{}}
20\label{sec:overview}
21
22Figure~\ref{fig:method_overview} shows an overview of \approachName{}, which takes a quantum program written in Qiskit as its input, and then outputs warnings about quantum-specific programming problems in this program.
23\approachName{} is a static analysis framework realized in three stages:
24\begin{enumerate}
25 \item The existing static analysis engine CodeQL (Section~\ref{sec:background}) extracts general information about Python code, such as control flow paths, data flow fac
github-actions[bot]
Description
The text of the section after the figure is still detected as code, moreover the code snippets in the dark mode have white text on white background that makes them not readable.
(Optional:) Please add any files, screenshots, or other information here.
No response
(Required) What is this issue most closely related to? Select one.
Figures
Internal issue ID
16258bf4-57f3-4eb6-b176-2ae757abb79b
Paper URL
https://services.arxiv.org/html/submission/5599922/view
Browser
Chrome/123.0.0.0
Device Type
Desktop