Kapittel 14, «mer om dataflytanalyse» (), fortsetter drøftelsen av dataflytanalyser. Etter å ha gjort en del grunnleggende definisjoner, beskrives som en måte å gjenkjenne og evaluere konstanter i uttrykk under kompilering i stedet for at de beregnes under kjøring. Deretter beskrives tilgjengelige uttrykk, som er en analysealgoritme for å bestemme mengden med uttrykk som ikke behøves å beregnes på nytt. Videre beskrives behandlingen av copy propagation. Etter å ha behandlet en baklengs analyse av dataflyten, kommer boken inn på og . Deretter beskrives fire former for dataflytanalyser: To som følger dataflyten fremover, og to som følger dataflyten bakover. Avslutningsvis beskrives dataflytanalyser mellom prosedyrer.