发布时间:2023-11-29
点击次数: 计算机领域国际权威学术顶会acm ccs 2025于11月26日在丹麦哥本哈
根开幕。腾讯安全大数据实验室团队论文《hopper: interpretative fuzzing for libraries》被大会收录,昨天,实验室研究员谢雨轩受邀出席大会进行主题分享。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜

该研究提出了一种解释性模糊测试的方法,展示了如何使用动态反馈来学习API内外的约束,以实现代码的自动化生成。通过这种方法,在没有任何外部专家知识的情况下,可以生成有效可用的代码调用方式,并利用这些代码挖掘漏洞。该研究方法的目标是解决模糊测试需要人工构造入口的问题,从而大大提高漏洞自动化挖掘的效率和应用范围
在过去几年中,模糊测试技术(Fuzzing)已被证明是一种非常有效的漏洞挖掘方法。该技术的主要原理是通过生成大量随机的输入来测试软件的处理能力,以此帮助开发人员自动化地发现软件中的缺陷。目前,模糊测试技术已经在开源软件和商业软件中得到广泛应用
然而,模糊测试依赖于开发人员手动构建测试入口(模糊驱动程序)来测试目标对象。编写逻辑正确且覆盖率高的测试入口需要开发人员对待测库有深入的理解,并且需要投入大量工作。由于门槛较高,目前仍有许多代码(包括项目、API等)尚未通过模糊测试进行覆盖,导致漏洞挖掘的“自动化”程度受到限制
腾讯安全大数据实验室提出了一种新的测试方法,名为解释性模糊测试。这种测试方法不需要开发人员编写测试入口,能够使Fuzzer直接生成待执行的程序,并实现对任意库API的完全自动化学习和测试。它完全打通了模糊测试的全自动化流程,大大提高了漏洞自动化挖掘的效率
基于这个方法,腾讯安全大数据实验室实现了漏洞自动化挖掘工具Hopper,并在11个开源的库文件中评估了Hopper的效果。结果表明,Hopper在其中三个库中覆盖率表现有显著优势,在其他库能取得跟人工构造的入口不相上下的效果。

Hopper在API覆盖率方面表现出了极高的水准,达到了93.52%。相比之下,人工编写的模糊测试入口只能覆盖大约15%-30%的API
TTSMaker
TTSMaker是一个免费的文本转语音工具,提供语音生成服务,支持多种语言。
2275
查看详情

此外,Hopper 推断的 API 内约束能够达到 96.51% 的准确率,极大提升了生成代码的成功率和效率

最后,实验中,Hopper直接借助执行的动态反馈来生成可以测试API的代码,在大大提升API测试覆盖率的同时,还成功地找出了一系列真实的软件缺陷,并提交给相关平台和开发者进行了修复。
研究人员将上述研究成果以论文方式发布,并被ACM CCS 2025收录。ACM CCS与IEEE S&P、USENIX Security、NDSS并称为计算机安全领域四大顶级会议,已有近30年的历史,并对计算机安全领域产生了重大深远的影响。该会议在计算机安全领域享有崇高的声誉,同时也被中国计算机学会(CCF)认定为网络与信息安全A类国际学术会议。
腾讯安全大数据实验室认为,网络安全面临的内外部技术都在不断发展,但网络安全的本质还是漏洞和攻防,因此,如何才能先于攻击者找到系统的漏洞是不变的主题。大模型时代, 腾讯安全也将持续探索如何让AI等新技术赋能于漏洞挖掘、提升效率。
以上就是距离“全自动”漏洞挖掘又近了一步!腾讯安全大数据实验室论文入选ACM CCS 2025的详细内容,更多请关注其它相关文章!
# 腾讯
# 近了
# 开发人员
# 开源
# 本田
# 丰田
# 产业
# 常德视频营销推广方式
# 抖音百科营销怎么做推广
# 徐州网站建设 网站制作
# 鞍山关键词排名外包
# 网站推广怎么解决
# 校园网站建设亮点工程
# 圆梦网站建设公司避雷
# seo成功案例视频教程
# 肇庆关键词排名策略
# 库尔勒商城网站建设
# 中国
# 哥本哈根
# 提出了
# 出了
相关栏目:
【
行业新闻62819 】
【
科技资讯67470 】
相关推荐:
OpenAI 已全面开放 GPT-3.5 Turbo、DALL-E 及 Whisper API
十个AI算法常用库J*a版
13万个注释神经元,5300万个突触,普林斯顿大学等发布首个完整「成年果蝇」大脑连接组
天翼云在国际AI顶会大模型挑战赛中获得冠军
IBM将模拟计算用于人工智能,重塑AI计算
OpenAI更新GPT-4等模型,新增API函数调用,价格最高降75%
厂商陆续公布AI进展 完美世界游戏展示复合应用AI in GamePlay
首届亚太网络法实务大会召开 九位大咖探讨元宇宙与人工智能发展
百亿量化私募:量化投资进入“精耕细作”时代 AI带来行业新变革
OpenAI首席执行官表态支持欧盟AI监管
自研4D激光雷达L1 + GPT大语言模型 宇树Unitree Go2四足机器人有啥黑科技?
小红书陷入麻烦!被指控未经许可使用用户图片进行AI训练
人工智能“Aria”现身 Opera浏览器100版本更新:新功能“标签岛”
Vision Pro 太贵,苹果基于 iPhone 的 VR 头显专利曝光
黄仁勋:5年前,我们对AI抱有巨大期望
AI大模型紫东太初已被注册商标 中科院已注册紫东太初大模型商标
如何用AI开创智慧能源新时代?固德威正让能源“通人性”!
华为联合合作伙伴 共同发布昇腾AI大模型训推一体化解决方案
人工智能时代的科幻译者怎么办?“做好翻译工作的高端10%”|文化观察
“一般智力”与工艺学批判是认识AI的重要入口 | 社会科学报
苹果2万5的AR遭遇砍单95%:不及预期
英伟达推出 L40S GPU,AI 推理性能超过 A100 约 1.2 倍
拓普龙7188ML:轻便壁挂式工控机箱,为人工智能应用场景提供有力保障
热点 | 人工智能黄金时代开启
【趋势周报】全球人工智能产业发展趋势:OpenAI向美国专利局提交“GPT-5”商标申请
一文读懂自动驾驶的激光雷达与视觉融合感知
第四范式「式说」大模型入选《2025年通用人工智能创新应用案例集》
Unity 内测 Safe Voice 服务,利用 AI 自动识别玩家不当聊天内容
360°/180°双模式,佳能公布可折叠小体积的VR全景相机
2025VR&AR显示技术峰会视频解析: 歌尔光学展示最新一代VR/AR光学模组
推动综合能源服务高质量发展
AI数字人业务频频获点赞,谦寻积极引领示范作用
杭州举办第19届亚运会,主题为「亚运元宇宙」的发布仪式举行
马斯克发推讽刺人工智能,机器学习本质是统计?
微软面向AI初学者推出免费网络课程
Xreal AR 眼镜用投屏盒子 Beam 发布:分体式设计,到手 699 元
腾讯AI首次模拟拼接三星堆文物,工作取得阶段性的成果
鉴智机器人发布基于地平线征程5的标准视觉感知产品
先进技术在防止全球数据丢失方面的作用
应用生成式人工智能技术改善农业产业
Databricks 发布大数据分析平台 Spark 用 AI 模型 SDK:一键生成 SQL 及 FySpark 语言图表代码
利用AI技术更好地发展农村电商
好莱坞面临全面停摆 好莱坞大罢工抵制“AI入侵”
速途网络成立“人工智能专家委员会”5位中美博士加盟
磐镭发布全新 GeForce RTX 4080 ARMOUR 显卡,售价为 9499 元
探索人工智能在物联网领域的影响与改变
小艺主导智慧交互升级,借助AI大模型增强能力
硅谷人工智能研究院创始人皮埃罗·斯加鲁菲:Transformer模型演讲
导演郭帆:人工智能应用可能会影响《流浪地球 3》的创作开发
普渡机器人与变形金刚品牌合作,特别活动爆火,商品售罄!