String analysis for x86 binaries. - Mihai Christodorescu; Nicholas Kidd; Wen-Han Goh (PASTE, 2005)