Control-Flow Analysis based on linear execution logs.