Improving Accuracy and Completeness of Source Code Static Taint Analysis | IEEE Conference Publication | IEEE Xplore