搜索筛选:
搜索耗时0.0411秒,为你在为你在30,492,000篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘剑,孙可钦,汪孙律,,
来源：清华大学学报(自然科学版) 年份：2012
Android操作系统被广泛应用于智能手机、平板电脑等便携移动设备,因此Android操作系统的安全性和可靠性至关重要。本文使用控制流挖掘方法,针对Android内核代码的多种典型错...
[期刊论文] 作者：汪孙律,杨秋松,李明树,
来源：电子学报 年份：2020
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了针对文件格式数据块约束的符号执行分析方法(FFCBSE,File Format Constraint Based Symbolic Execution)优化框架....
[期刊论文] 作者：汪孙律, 林渝淇, 杨秋松, 李明树,,
来源：通信学报 年份：2019
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架。该方法通过分析程序代码自动提取3类输入约束,随后使用这些约束引导符号...
相关搜索：
