\begin{slide}{Datenfluß-Analyse}

Ablauf-Graph wird markiert:

\begin{itemize}\itemsep 0pt
\item
  in jedem Knoten (Anweisung/Deklaration):

  welche Variablen gelesen (c-use)/geschrieben(def)?
\item
  in jeder Kante:  welche Variablen wurden gelesen (p-use), 
  um Sprung-Entscheidung zu fällen?
\end{itemize}
\emph{definitionsfreier Pfad} (für eine Variable $v$): 
von def($v$) zu use ($v$),
ohne dazwischenliegende def ($v$)

Test-Kriterien:
\begin{itemize} \itemsep 0pt
\item
  all-defs: jeder geschriebene Wert (def) wird benutzt 
  % (es gibt $\ge 1$ dfP zu use)
\item
  all-uses: jede Art der Benutzung wird getestet
  % ($\ge 1$ dfP dorthin durchlaufen)
\end{itemize}


\end{slide}

