王允超

作品数：3被引量：8H指数：1
导出分析报告
供职机构：解放军信息工程大学更多>>
发文主题：脆弱性程序漏洞层次分析安全检测符号化更多>>
发文领域：自动化与计算机技术理学电子电信更多>>
发文期刊：《信息工程大学学报》《计算机科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于自然语言处理的JavaScript引擎定向模糊测试技术被引量：1
《信息工程大学学报》2022年第6期737-745,共9页吴泽君 武泽慧 王允超 魏强 
国家重点研发计划课题资助项目(2020YFB2010902)。
JavaScript语言广泛用于浏览器和其他应用程序中,针对JavaScript引擎的攻击给企业和用户带来了巨大的安全隐患。当前针对JavaScript引擎的模糊测试技术在可用测试用例生成能力和代码覆盖率方面存在不足,经研究提出了一种基于自然语言处...
关键词：定向模糊测试 JAVASCRIPT引擎 自然语言处理 残差网络 
基于前向探针的符号执行路径搜索算法被引量：1
《信息工程大学学报》2019年第4期427-431,共5页柳晓龙 武泽慧 魏强 王允超 
国家重点研发计划资助项目(2017YFB0802901)。
Driller利用符号执行技术辅助模糊测试工具绕过复杂检查,有效提高测试覆盖率。为减少路径数量,Driller的符号执行路径选择算法对于不能立即产生新的状态转移的分支点不翻转,不约束求解。有些分支点,例如循环结构内的分支点,虽然被翻转...
关键词：符号执行 覆盖率 前向探针 状态转移 
基于静态污点分析的Android应用Intent注入漏洞检测方法被引量：6
《计算机科学》2016年第9期192-196,共5页王允超 魏强 武泽慧 
针对Android应用程序组件间通信过程中的消息载体Intent有可能被攻击者构造进而引发组件被恶意注入的安全风险问题,提出了一种基于静态污点分析的检测方法。在构建Android应用的函数调用图和控制流图的基础上,通过跟踪应用组件内和组件...
关键词：Android 静态污点分析 函数调用图 控制流图 Intent注入漏洞 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部