ALF (ARTIST2 Language for Flow Analysis) is a language intended to be used for flow analysis in conjunction with WCET
(Worst Case Execution Time) analysis. ALF is designed to be possible to generate from a rich set of sources: linked binaries,
source code, compiler intermediate formats, and possibly more.
This is a revised version of the first ALF specification (which was published Sept. 2007).