一种基于安全状态跟踪检查的漏洞静态检测方法

《一种基于安全状态跟踪检查的漏洞静态检测方法》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、第32卷第5期计算机学报曲一544May2009CHINESEJOURNALOFCOMPUTERS一种基于安全状态跟踪检查的漏洞静态检测方法梁彬侯看看石文昌梁朝晖(中国人民大学信息学院北京100872)(数据工程与知识工程教育部重点试验室北京100872)摘要现有的采用基于源代码分析的漏洞静态检测方法中存在的主要问题是误报率和漏报率较高•主要原因之一是缺乏对数据合法性检查与非可信数据源等程序安全相关元素的精确有效的识别分析•文中提岀了一种基于数据安全状态跟踪和检查的安全漏洞静态检测方法•该方法对漏洞状态机模型的状态空间进行了扩展，使用对应多个安全相关属

2、性的向量标识变量安全状态，细化了状态转换的粒度以提供更为精确的程序安全行为识别；在漏洞状态机中引入了对合法性检查的识别，有效降低了误报的发生；建立了系统化的非可信数据鉴别方法，可防止由于遗漏非可信数据源而产生的漏报•基于此方法的原型系统的检测实验表明：文中方法能够有效检测出软件系统中存在的缓冲区溢出等安全漏洞，误报率明显降低，并能避免现有主流静态检测方法中存在的一些严重漏报关键词漏洞检测；静态分析；状态机；漏报；误报中图法分类号TP309DOI号：40.3724/SP.J.1016.2009.00899AStaticVulnerabilitiesDet

3、ectionMethodBasedonSecurityStateTracingandCheckingLIANGBinHOUKan2KanSHIWen2ChangLIANGZhao2Hui(SchoolofInformation,RenmingUniversityofChina,Beijing100872)(MOEKeyLaboratoryofDataEngineeringandKnowledgeEngineering,Beijing100872)AbstractThemainproblemofexistingstaticvulnerabilitydet

4、ectionmethodsbasedsourcecodeanalysisistheirhighfalsepositiveandfalsenegativerates・Onemainreasonislackofaccurateandeffectiveidentificationandanalysisofsecurity2relatedprogramelements,e・g.datavalidationchecking,tainteddatasource,etc.Astaticvulnerabilitydetectionmethodbasedondatase

5、curitystatetracingandcheckingisproposed・Inthismethod,thestatespaceofstatemachinemodelisextended;thesecuritystateofavariableisidentifiedbyavectorthatmaycorrespondtomultiplesecurity2relatedpropertiesratherthanbyasingleproperty;Fine2grainedstatetransitionispro2videdtosupportaccurat

6、erecognitionofprogramsecurity2relatedbehaviors;Therecognitionofvalidationcheckingisintroducedinvulnerabilitystatemachinetoreducefalsepositives;andasystematicdiscriminationmechanismfortainteddataisconstructedtopreventfalsenegativesre2suitfromneglectingtainteddatasources・Theexperi

7、mentalresultsofaprototypesystemshowthatthismethodcaneffectivelydetectbufferoverflowandothertype'svulnerabilitiesinsoftwaresystems,andwithobviouslylowerfalsepositivethanexistingmainstreamstaticdetectionmeth2odsandavoidsomeseriousfalsenegativesofthesemethods・-Keywords—Inerabilitie

8、sdetection;staticanalysis;statemachine;falseneg