Future Communication, Information and Computer Science – Zheng (Ed.)
© 2015 Taylor & Francis Group, London, 978-1-138-02653-7
Taint propagation path analysis based on program dependency
Y. Wang, C. Wang, C.Z. Hu & C. Shan
School of Software, Beijing Institute of Technology, Beijing, China
ABSTRACT: Taint propagation path analysis is an important pre-processing part to software vulnerability
detection. This paper presents a static taint propagation path analysis method based on program dependency.
After transforming the source code to the SSA (Static SingleAssignment) form, we make a program dependency
analysis, which consists of data dependency analysis within basic blocks, control dependency analysis between
basic blocks, and Phi function dependency ...