\begin{slide}{Soot Packs (Whole Program)}
\begin{description}
\item[cg] generates a call graph using CHA or more precise methods
\item[wjtp] performs user-defined whole-program transformations
\item[wjop] performs whole-program optimizations
\begin{itemize}
\item static inlining
\item static method binding
\end{itemize}
\item[wjap] generates annotations using whole-program analyses
\begin{itemize}
\item rectangular array analysis
\end{itemize}
\end{description}
\end{slide}

\input{phase}