FlowWalker: A Fast and Precise Off-Line Taint Analysis Framework | IEEE Conference Publication | IEEE Xplore