DFA-Aliasanalyse erweitert

2020-08-15 16:12:21 +02:00 · 2020-08-15 16:12:21 +02:00 · 189efa44a0
parent 90c056842b
commit 189efa44a0
2 changed files with 1 additions and 0 deletions
--- a/verfahren.pdf
+++ b/verfahren.pdf
--- a/verfahren.tex
+++ b/verfahren.tex
@ -494,6 +494,7 @@
 				\mathit{Ptr}(P',x) & sonst
 			\end{cases*}
 		\end{equation*}
+		\item Bei Flussfunktion $\mathit{ptr}_P(*c)$ für alle $k \in \mathit{Ptr}(P, c)$ Wissen $\mathit{Ptr}(P, k)$ berechnen
 	\end{itemize}
 \end{itemize}