Quelques liens au sujet de l'analyse statique

Anne analyse_statique

Un billet pour mémoriser des liens intéressant sur le sujet (pas grand chose pour l’instant…)

  • un cours très complet d’une centaine de pages de Anders Møller and Michael I. Schwartzbach sur l’analyse de programme (AST, typages), l’interprétation abstraite (treillis), et diverses analyses (propagation de constantes, intervalles, pointeurs, etc.) y compris des détails sur les flots de contrôle et l’interprocédural ;

Voir aussi :