Flow-Sensitive Sub-Zero Control-Flow Analysis in Linear-Log Time