Problème d'analyse de flux de données Ajuster au cadre d'Ullman-Aho?

Question

Je lis le livre classique "Compilateurs. Principes, techniques et outils" par Aho et alii. Au chapitre 9.3, ils parlent d'un cadre général pour résoudre des problèmes d'analyse de flux de données qui utilisent un cadre qui est monotone et de hauteur finie.

La technique s'avère utile pour la variable en direct et atteignant l'analyse de définition et je me demande si elle est applicable aux problèmes suivants:

1. Vérification si les variables sont toujours initialisées.
2. Faire des calculs de plage (l'idée est de l'appliquer sur la vérification des accédures des tableaux hors limites).
3. Éliminer les sous-expressions communes.

Ma question est de savoir si ce même cadre peut être utilisé pour ce problème ou si j'ai besoin de cadres plus généraux tels que le cadre de propagation constant décrit au chapitre 9.4.

Si la réponse est oui, quelles sont les valeurs du cadre défini comme $ (d, f, v, land) $, où d est la direction de l'analyse, f la famille des fonctions de transfert, v est le domaine semi-liés et $ Land $ l'opérateur de la demi-réaction? Si la réponse ne concerne pas certains des problèmes, je n'ai pas vraiment besoin de ces paramètres pour le cadre plus général, mais la raison pour laquelle cela ne fonctionnerait pas suffirait afin que je puisse trouver un cadre plus général.

Je demande cela au cas où quelqu'un connaît déjà la réponse et je peux me faire gagner du temps, alors ne vous inquiétez pas d'être trop précis.