TWalker: An efficient taint analysis tool | IEEE Conference Publication | IEEE Xplore