Efficient Taint Analysis with Taint Behavior Summary | IEEE Conference Publication | IEEE Xplore