TY - Front. Electr. Electron. Eng. A1 - ZHANG Zhefei, ZHENG Qinghua, GUAN Xiaohong, WANG Qing, WANG Tuo, GUAN Xiaohong T1 - A method for detecting code security vulnerability based on variables tracking with validated-tree Y1 - 2008-06-05 JF - Frontiers of Electrical and Electronic Engineering JO - Front. Electr. Electron. Eng. SP - 162 EP - 166 VL - 3 IS - 2 UR - https://journal.hep.com.cn/fee N1 - 10.1007/s11460-008-0047-x ER -