Recursive Array Analysis with Divide and Conquer