Control flow analysis | Publicación