Control flow analysis - article