links

syllabus/syllabus.tex

@@ -29,10 +29,10 @@
 
 {\sffamily{\bfseries\Large Practical Program Analysis}\\
 Series of lectures by \href{https://www.yegor256.com}{Yegor Bugayenko}
-% to students of \href{https://innopolis.university/en/}{Innopolis University} in 2021,\\
-% and \href{https://www.youtube.com/playlist?list=PLaIsQH4uc08woJKRAA7mmjs9fU0jeKjjM}{video recorded}}
+to students of \href{https://innopolis.university/en/}{Innopolis University} in 2023,\\
+and \href{https://www.youtube.com/playlist?list=PLaIsQH4uc08wdXIC4utfgMxV_iswE9_Md}{video recorded}}
 
-% The entire set of slide decks is in \href{https://github.com/yegor256/ssd16}{yegor256/ssd16} GitHub repository.
+The entire set of slide decks is in \href{https://github.com/yegor256/ppa}{yegor256/ppa} GitHub repository.
 
 \begin{abstract}
 The course is a high-level introduction to program analysis with a
@@ -195,13 +195,11 @@ \section*{Lectures}
 \item Data Flow Analysis
 	\begin{itemize}
 	\item Basics Blocks, Transfer Function, and Join Operation
-	\item Iterative Round-Robin Algorithm
 	\item Work List Approach
 	\item Forward and Backward Analysis
 	\item Live Variable Analysis
 	\item Definite Assignment Analysis
 	\item Available Expressions Analysis
-	\item Taint Checking
 	\end{itemize}
 \item Symbolic Execution
 	\begin{itemize}