SwordDTA swMATH ID: 17035 Software Authors: Cai, Jun; Zou, Peng; Ma, Jinxin; He, Jun Description: SwordDTA: A dynamic taint analysis tool for software vulnerability detection. Software vulnerabilities are the root cause of various information security incidents while dynamic taint analysis is an emerging program analysis technique. In this paper, to maximize the use of the technique to detect software vulnerabilities, we present SwordDTA, a tool that can perform dynamic taint analysis for binaries. This tool is flexible and extensible that it can work with commodity software and hardware. It can be used to detect software vulnerabilities with vulnerability modeling and taint check. We evaluate it with a number of commonly used real-world applications. The experimental results show that SwordDTA is capable of detecting at least four kinds of software vulnerabilities including buffer overflow, integer overflow, division by zero and use-after-free, and is applicable for a wide range of software. Homepage: http://link.springer.com/article/10.1007/s11859-016-1133-1 Keywords: information security; software vulnerability detection; dynamic taint analysis; use-after-free Related Software: Dytan; Pixy; GitHub; DART; KLEE; CUTE Cited in: 0 Publications Standard Articles 1 Publication describing the Software Year SwordDTA: A dynamic taint analysis tool for software vulnerability detection Cai, Jun; Zou, Peng; Ma, Jinxin; He, Jun 2016