整数漏洞研究安全模型、检测方法和实例