[发明专利]一种浏览器扩展的缺陷检测方法

摘要

本发明公开了一种浏览器扩展的缺陷检测方法，包括：（1）将扩展缺陷特征转化为Datalog语言格式的缺陷信息作为规则，由所述规则构建关于扩展的安全缺陷特征库；（2）对扩展源代码进行预处理，从源代码中分离出描述扩展行为的JavaScript代码，转化成Datalog语言格式的信息作为事实；（3）将JavaScript代码变成抽象语法树并且转换成Datalog语言格式，（4）待检测的扩展信息储存为演绎数据库，进行演绎数据库推理，从扩展的演绎数据库中查找跟安全缺陷特征库里面的缺陷条目匹配的部分实现扩展的检测。与现有技术相比，本发明使浏览器扩展的人工审核的工作能够实现自动化，也提高了精确度。

主权项

一种浏览器扩展的缺陷检测方法，其特征在于，该方法包括以下步骤：步骤一、将扩展缺陷特征转化为Datalog语言格式的缺陷信息作为规则，并由所述规则构建关于扩展的安全缺陷特征库；步骤二、对扩展源代码进行预处理，从源代码中分离出描述扩展行为的JavaScript代码和界面表示语言XUL，将该JavaScript代码转化成Datalog语言格式的信息作为事实；步骤三、将JavaScript代码变成抽象语法树，所述抽象语法树包含扩展信息；以抽象语法树与事实之间的匹配为依据将所述抽象语法树转换成Datalog语言格式，步骤四、待检测的扩展信息全部储存为一个演绎数据库，该演绎数据库包含了原来扩展源代码中的调用、传参、声明和指向；利用开源工具bddbddb进行演绎数据库推理，从扩展的演绎数据库中查找跟安全缺陷特征库里面的缺陷条目匹配的部分，实现扩展的检测。