基于污点分析和符号执行的漏洞签名生成方法.pdfVIP

基于污点分析和符号执行的漏洞签名生成方法 辛 伟 时志伟 郝永乐 董国伟 (中国信息安全测评中心，北京100085) 摘要：漏洞签名是指触发程序漏洞的输入的集合，利用漏洞签名对程序输入 进行过滤是一种有效地保护漏洞程序的方法。本文主要研究漏洞签名的生 成技术，提出了一种有效的基于污点分析和符号执行的漏洞签名生成方法， 它通过污点信息传播定位输入中的与触发漏洞相关的字节，然后，通过符号 执行得到路径约柬，并通过约束求解得到最终的漏洞签名。基于开源项目 Pin和Z3，本文构建了基于污点分析和符号执行的漏洞签名生成原型系统 TASEVS，并对漏洞程序进行了验证，实验结果表明TASEVS能有效地生成 漏洞签名。 关键词：二进制程序；漏洞签名；污点分析；符号执行；约束求解 309 中图分类号：TP 文献标识码：A New of ApproachGeneratingVulnerability BasedonTaint and Execution Signature AnalysisSymbolic XjNWjiSHfZ^i叫eiHAO DoNGGⅡoPi y伽g￡P (ChinaInformation Evaiuation 100085，China) TechnologySecurity Center，Be玎ing matchesasetof which asoftwarevulnera— Abstract：Avulnerabmtysignatl】re inputs trigger of for isonethemost andeffectivede— bi“ty，UsingvuInerabilitysignatureinputfiItering popuIar fensemechanismsfor vulnerable taint and protecting programsagainstexploits．Using analysis execution，weanewmethodof It10cates synlbolic propose generatingvulnerabilitysignature． in thatdirectexecutiontovulnerabIe taint constraintsare bytesinput pointsusing anaIysis，path via execution．We a TASEVS generateddynamicsymbolic implementedproof-of_conceptsystem basedoninstrumentationtoolPinandconstraintsolverZ3． resultsshowour Experiment ap— jsableto proach effectivelygeneratevulnerab订itysignature． KeyWords：binary-exe