Data-Based Program Analysis