海云安发布国内首款融合AI大语言模型(LLM)的源代码检测平台SCAP++

news2024/10/6 12:33:03

继ChatGPT发布后,如何将大语言模型技术与各个领域结合应用引起了广泛的关注与探讨。随着这股AI浪潮的兴起,谷歌、微软、百度等公司也纷纷推出了自己的大语言模型,并且在机器翻译、文本摘要、情感分析、对话系统、问答系统等多个领域得到了广泛的应用。在开发安全领域,静态代码检测技术也因为大语言模型的出现,有了产生变革的可能。然而,目前国内开发安全领域对大语言模型的应用仍然相对较少。

为了促进相关领域的科学研究,推动科技技术经济产业的发展,海云安和深圳大学-大数据系统计算技术国家工程实验室共同建立了人工智能联合实验室。双方在合作中充分发挥各自的优势,共同为AI大语言模型(LLM)技术在开发安全领域的发展和应用中探索新的道路。

高敏捷信创白盒SCAP是海云安的一款静态代码检测产品,在国内白盒产品中处于领先地位。经过数年的自主研发和技术创新,SCAP拥有明显优于传统白盒的高准确率和高检测效率,能够更好的融入快节奏的敏捷开发流程。同时,SCAP能够兼容企业信创环境,是自主开发、安全可控的国产化产品。ChatGPT发布后,海云安一直在积极尝试将大语言模型应用到SCAP中,以解决现阶段白盒实际应用中遇到误报率高、缺陷成因解释不直观、缺陷修复方案效果不佳等难题。

近日,海云安在国内首次将大语言模型(LLM)应用到静态代码检测中,发布了国内首款融合AI大语言模型(LLM)的源代码检测平台SCAP++。

相对于SCAP,SCAP++结合大语言模型主要解决了白盒实际应用中的三个难题:

1.传统白盒难以避免的存在较高的误报率,SCAP++通过大语言模型对源代码检测平台的检测结果进行自动化的误报判断,有效降低误报率。

2.传统的白盒扫描产品对同类缺陷统一使用通用的缺陷描述,没有切合缺陷实际情况进行分析解释,使缺陷理解存在一定门槛;SCAP++通过大语言模型结合用户实际业务代码,生成针对性的缺陷成因解释,使用户可以更加直观地理解缺陷产生的原因,帮助用户更好地理解和解决问题。

图片

3.传统的白盒扫描产品提供通用性的缺陷修复方案和修复代码示例,在用户实际修复时往往遇到修复方法使用不规范、修复示例简单笼统,与复杂的实际,不符等情况,导致用户并不确定缺陷是否被真实修复;SCAP++通过大语言模型结合缺陷的具体情况和上下文生成可直接应用于缺陷修复的代码修复方案,能够帮助用户更快速、高效地解决问题。

图片

大语言模型的引入为静态代码检测的发展带来了全新的可能,将成为白盒工具的未来发展重要趋势,海云安发布的源代码检测平台SCAP++是国内开发安全领域的一次重要突破,通过引入AI技术,该平台不仅提高了检测准确性,降低了开发成本,还提升了开发效率。未来,随着AI技术的进一步发展,我们有理由相信源代码检测工具将更加智能、高效,为软件产业的发展带来更大的价值。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1193367.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

新发布的Java使用率均超Java8

Java 软件供应商 Azul 发布了首份年度 Java 现状调查报告,基于对全球 2062 名 Java 专业人士和基于 Java 的应用程序用户进行的调查。 Java 软件供应商 Azul 发布了首份年度 Java 现状调查报告,基于对全球 2062 名 Java 专业人士和基于 Java 的应用程序…

高等数学教材重难点题型总结(三)函数与极限

首先是考研大纲包含的内容: 1.理解并会用罗尔(Rolle)定理、拉格朗日(Lagrange)中值定理和泰勒(Taylor)定理,了解并会用柯西(Cauchy)中值定理. 2.掌握用洛必达法则求未定式极限的方法. 3.理解函数的极值概念,掌握用导数判断函数的单调性和求函…

报错信息Update your application‘s configuration

在使用Maven项目时,有一个报错信息是:Update your applications configuration 这类问题,就是我们的application.yml文件 或者 application.properties文件 内容哪里写错了 我的问题是格式对齐方式出错,如下: 修改过后…

Rocky Linux 配置邮件发送

Rocky Linux 配置邮件发送 使用自己的有邮箱发送 第一步-开启STMP授权 首先要开启STMP授权码,以QQ邮箱为例 第二步-下载安装包 说明一点不用命令行安装也可以,在命令行中输入会提示你是否安装s-nail,一直y即可 mail下载必须要的安装包 …

windowCPU虚拟化已禁用解决方案

windowCPU虚拟化已禁用解决方案 1. 前言 window电脑要安装Docker或者VMware虚拟机就需要开启windows自身的虚拟化功能,除了在设置上要开启Hyper-V只要还需要开启CPU的虚拟化功能,而CPU的虚拟化则需要通过进入BIOS设置中开启 2. 检查是否开启了虚拟化功…

springboot actuator:开放全部(部分)端点、端点映射、端点保护

目录 开放全部端点(不安全): 开放部分端点 端点映射 端口保护 1、 添加Spring Security依赖: 2、Spring Security简单配置类: 3、application.yml配置规则 4、写一个简单的controller 5、简单登录页面 目…

探索Linux世界:从基础到高级

标题 探索Linux世界:从基础到高级 🚀第一章:Linux入门篇第二章:掌握Linux基础命令第三章:文件操作的艺术第四章:征服vi/vim编辑器第五章:掌握Linux全部命令 文末赠书 博主 默语带您 Go to New W…

户外台灯设计:照亮你的户外空间

在一个温暖的夏夜,能够在户外享受美味的晚餐是一种特殊的愉悦。这种露天用餐的体验不仅让你感受大自然的美丽,还提供了独特的放松感。为了让这个时刻更加难忘,户外台灯的用途与设计至关重要。 户外台灯能够创造出温馨的氛围,为用餐…

关灯游戏及扩展

7.8 图形界面应用案例——关灯游戏 题目: [案例]游戏初步——关灯游戏。 关灯游戏是很有意思的益智游戏,玩家通过单击关掉(或打开)一盏灯。如果关(掉(或打开)一个电灯,其周围(上下左右)的电灯也会触及开关,成…

Hadoop架构、Hive相关知识点及Hive执行流程

Hadoop架构 Hadoop由三大部分组成:HDFS、MapReduce、yarn HDFS:负责数据的存储 其中包括: namenode:主节点,用来分配任务给从节点 secondarynamenode:副节点,辅助主节点 datanode:从节点&#x…

Linux编写一个极简版本的Shell

Linux编写一个极简版本的Shell 📟作者主页:慢热的陕西人 🌴专栏链接:Linux 📣欢迎各位大佬👍点赞🔥关注🚓收藏,🍉留言 本博客主要内容在Linux环境下&#xff…

二十五、W5100S/W5500+RP2040树莓派Pico<Modebus TCP Server示例>

文章目录 1 前言2 简介2 .1 什么是Modbus TCP?2.2 Modbus TCP指令介绍2.3 请求数据过程2.4 Modbus TCP协议优点2.5 Modbus TCP应用场景 3 WIZnet以太网芯片4 Modbus TCP示例概述以及使用4.1 流程图4.2 准备工作核心4.3 连接方式4.4 主要代码概述4.5 结果演示 5 注意…

nacos做服务配置和服务器发现

一、创建项目 1、创建一个spring-boot的项目 2、创建三个模块file、system、gateway模块 3、file和system分别配置启动信息,并且创建一个简单的控制器 server.port9000 spring.application.namefile server.servlet.context-path/file4、在根目录下引入依赖 <properties&g…

Maven-依赖管理机制

一、背景和起源 依赖管理是Maven的一个核心功能。管理单个模块项目的依赖相对比较容易&#xff0c;但是如果是多模块项目或者有几百个模块的项目就是一个巨大的挑战。 如果手动构建项目&#xff0c;那么就先需要梳理各个模块pom中定义的依赖和版本&#xff0c;然后进行下载到本…

C++模拟实现set和map

1.看源码&#xff0c;简单了解原码的set和map类的结构 1.看类的私有成员和类模板的参数&#xff1a; 看下面我画的一些框&#xff0c;再结合上面的看一下&#xff0c;会有什么疑惑呢&#xff1f; 一般我们知道编译器底层的代码会很简洁&#xff0c;不会多创建无意义的内容&am…

【使用教程】在Ubuntu下PMM60系列一体化伺服电机通过PDO跑循环同步位置模式详解

本教程将指导您在Ubuntu操作系统下使用PDO来配置和控制PMM60系列一体化伺服电机以实现循环同步位置模式。我们将介绍必要的步骤和命令&#xff0c;以确保您能够成功地配置和控制PMM系列一体化伺服电机。 一、准备工作 在正式介绍之前还需要一些准备工作&#xff1a;1.装有lin…

环保壁炉:酒精壁炉的生态优势

环保已经成为一个备受重视的话题。我们都希望采用更环保的能源&#xff0c;以减少对地球的影响。而酒精壁炉作为一种新型的取暖方式&#xff0c;正受到越来越多人的喜爱&#xff0c;因为它们代表了一种清洁能源的选择。 酒精壁炉的独特之处在于它们使用酒精作为燃料。这种酒精…

NFT数字藏品(交易平台)系统开发

随着数字技术和区块链技术的发展&#xff0c;NFT数字藏品交易平台系统开发逐渐成为了一个热门话题。NFT&#xff0c;即非同质化代币&#xff0c;可以用来代表独一无二的数字资产&#xff0c;如图片、音频、视频等&#xff0c;在数字世界中具有极高的价值。本文将介绍NFT数字藏品…

11.10论文写作与格式

格式 文章题目&#xff1a;&#xff08;三号、黑体、加粗&#xff0c;居中&#xff09; 摘要&#xff1a;这两个大字要&#xff08;黑体、小四、加粗&#xff0c;左对齐&#xff09;&#xff1b;内容为(宋体、小四) 关键词&#xff1a;三个字为(黑体、小四、加粗&#xff0c…

动作捕捉系统通过SDK与LabVIEW通信

运动分析、VR、机器人等应用中常使用LabVIEW对动作捕捉数据进行实时解算。NOKOV度量动作捕捉系统支持通过SDK与LabVIEW进行通信&#xff0c;将动作数据传入LabVIEW。 一、软件设置 1、形影软件设置 1、将模式切换到后处理模式 2、加载一个刚体数据 3、打开软件设置 4、选择网…