Reliable Data Processing Enabled By Program Analysis