main.tex

\documentclass[12pt,a4paper,bibliography=totoc]{scrartcl}
\input{preamble}

% not in preamble so it can be shared with Ipe
\usepackage{minted}
\usemintedstyle{github}
\newminted{java}{linenos}
\newmintinline[java]{java}{linenos}


\bibliography{report}

\input{semantics-macros.tex}
\usepackage{tikz}
\usetikzlibrary{fit}
\colorlet{colors}{blue}
\colorlet{colort}{cyan}
\colorlet{colorr}{purple!50!violet}
\hypersetup{
colorlinks,
linkcolor={red!50!black},
citecolor={blue!50!black},
urlcolor={blue!80!black}
}

%\includeonly{2.5-dataflow-formalization}
\begin{document}

% Keine Seitenzahlen im Vorspann
\pagestyle{empty}
\input{titlepage}
\pagestyle{headings}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{0-abstract-toc}
\newpage
\input{1-introduction}
\newpage
\input{2.5-dataflow-formalization}
\newpage
\input{2.6-ssa-dimp-ql}
%\include{2-dataflow-library}
\newpage
\include{3-call-sensitivity}
%\newpage
%\include{4-path-sensitivity}
\newpage
\include{5-conclusion}
\newpage
\include{6-bibliography}
\newpage
\section{Appendix}
\subsection{Database Schema}
\label{lst:dbschema}
\inputminted[linenos]{sql}{codeql-dimp/semmlecode.dbscheme}
\subsection{library.qll}
\label{lst:library}
\inputminted[linenos]{java}{codeql-dimp/library.qll}
\subsection{dataflow.qll}
\label{lst:dataflow}
\inputminted[linenos]{java}{codeql-dimp/dataflow.qll}
\subsection{query.ql}
\label{lst:query}
\inputminted[linenos]{java}{codeql-dimp/query.ql}

\end{document}