Young-Hyun Choi, Jae-Won Min, Min-Woo Park, Jung-Ho Eom, Tai-Myoung Chung: A Framework of Static Analyzer for Taint Analysis of Binary Executable File. ITCS 2013: 185-192