Software streams: Big data challenges in dynamic program analysis