Design and implementation of a dependence-based taint analysis | IEEE Conference Publication | IEEE Xplore