Checking Compliance to Coding Standards for x86 Executables. - Ziying Dai; Xiaoguang Mao; Dianlin Wang; Donghong Liu; Jie Zhang (UIC/ATC Workshops, 2010)