Database-Backed Program Analysis for Scalable Error Propagation | IEEE Conference Publication | IEEE Xplore