一款好用的国产软件源代码缺陷分析平台 — CodeSense

SAST 技术产品 CodeSense 通过信通院工具能力测试 CodeSense源代码缺陷分析平台(SAST)成功通过中国信通院泰尔实验室组织的——“先进网络安全能力验证评估计划第九期 — 应用安全开发测试工具能力”测试。 阅读详情
AI摘要

CodeSense是一款由清华大学与国防科技大学专家团队研发的源代码缺陷分析平台,支持多种编程语言和开发框架,提供跨程序分析,具备强大的安全漏洞和质量缺陷检测能力,覆盖多种行业标准。其独特的智慧减负功能和黑白名单定义,降低了审计工作量,提升研发效率。产品具备完全自主知识产权,支持国产操作系统,并提供丰富的集成选项,助力DevOps流程。

CodeSense是新一代的软件源代码缺陷深度分析平台。

包含多个自研的代码分析引擎,同时提供开放的方案,支持多种商业/开源分析引擎集成并对结果进行集中展示,与目前市面的国外商业工具对比,在语言种类、功能、标准、缺陷分类数量上,已达到一致。额外针对国内市场环境,CodeSense提供了大量适用于中国用户使用场景易用的功能。

 http://www.valiantsec.cn/product/?id=77

CodeSense是结合清华大学与国防科技大学的专家团队对代码静态分析技术的深度理论研究,经过长期软件工程实践研发而成,可以支持10余种编程语言和开发框架,并且可在多种国产平台进行部署。

产品功能

采用业界先进的值流图分析技术,能够实现跨程序/跨文件的上下文敏感分析与对象敏感分析,精准的检测软件安全漏洞与质量缺陷,结合独有的智慧减负与黑白名单技术,服务于安全部门或研发团队。

·  支持主流软/硬件环境

   支持Windows、Linux、银河麒麟等操作系统的部署运行,支持对基于SpringMVC、SpringBoot、SSM、Struts2、ThinkPHP、Flask等多种常见编程语言框架开发的软件进行源代码静态分析,支持的主流开发语言包括:C/C ++、C #、Java、P HP、Python、JavaScript、XML、Go、Scala、Kotlin、Ruby等。

  • ·  代码安全态势感知
  •     为项目管理人员提供代码安全与质量综合评估平台,全面展示安全状态,减少软件安全与质量短板。

  • ·  强大的安全漏洞和软件质量缺陷检测能力
  •    安全漏洞与质量缺陷检测能力可完全覆盖CWE 7PK、OWASP TOP 10、GJB-8114、GJB-5369、MISRA等行业标准与规范,能够有效的检出程序中潜在的内存安全类、运行时异常、注入类、跨站类、性能问题等安全漏洞和质量缺陷。

  • ·  全局数据流图
  •    CodeSense为缺陷与漏洞提供全局数据流图与最佳修复点建议,协助开发人员快速定位修复该类型缺陷的最关键函数/代码块。

  • ·  软件开发生命周期集成功能
  •   支持与软件开发生命周期中的各种工具进行集成,包括SCM工具: Git、SVN;构建工具如CMake、Maven;持续集成环境:Jenkins、GitLab-CI;缺陷跟踪系统:禅道;提供REST API接口,可无缝集成到DevOps流程中。

·  精准分析能力

  •    采用行业领先的值流图技术方案,兼顾了代码静态分析效率与精度,可跨越多重函数、多个文件检测出隐蔽的代码安全漏洞与质量缺陷,有效提升了检出率。
  • ·  智慧减负
  •    可以针对同一代码的不同版本进行增量分析,可将之前的代码审计结果链接到后续版本中进行趋势分析,方便相关人员在版本迭代时重点关注新增问题和遗留问题,极大地减少工作量,提高研发效率。

  • ·  简便的黑白名单定义操作
  •    提供基于函数签名的黑名单函数自定义(Source点、Sink点)和白名单函数(Sanitize点)功能,用户能够基于业务需求将自定义的功能封装函数、安全处理函数录入CodeSense,提升分析结果的准确度。

主要产品指标以及优势

荣获奖项 

NASAC2018代码漏洞检测工具一等奖

NASAC2018整数缺陷自动修复工具优秀奖

NASAC2018 API分析工具三等奖

工信部首届“鼎信杯”应用创新软件 

产品优势

· 提高代码安全

能够发现软件源代码中潜在的安全风险并提供修复建议,同时提供主流IDE插件,支持RESTFULAPI,易于嵌入DevOps流程。

· 节省代码审计时间

支持增量分析并提供对比视图,支持审计信息导出携带,软件版本迭代只需关注新增问题,大幅度节省代码审计的人力与时间成本。

· 完全自主可控

核心代码均为自主研发,拥有完全自主知识产权,支持多种操作系统,已经通过银河麒麟飞腾OS系统兼容性认证。

· 提高代码质量与软件合规

检测引擎已经通过CWE认证,全面覆盖CWE安全缺陷和质量缺陷,同时也支持主流行业编程规范的符合性检查,如:GJB5369-2005、GJB 8114-2013、MISRA-C 2012、MISRA-C++ 2008,并且支持常见代码复杂性度量指标。

· 无惧信息泄露

提供完备的用户角色访问权限控制功能,支持项目级的细粒度权限控制,仅允许拥有权限的用户查看项目源码和分析结果。

产品指标

·  支持缺陷(违规)类型1800余条,其中,CWE 7PK覆盖率80%以上,OWASP TOP 10覆盖率100%,GJB/8114-2013、GJB/5369-2005 覆盖率95%, MISRA C-2004、MISRA C-2012、MISRA C++-2018 覆盖率80%。

·  缺陷类分析误报率低于35%(符合:JCTJ 009—2015 《公安部信息安全技术软件源代码安全缺陷检测产品检测条件》的性能要求)。

·  支持分布式方式部署分析引擎,可支持100个检测任务并发分析。

·  支持docx、pdf、xlsx、xml报告模式,支持一键生成测试报告。

·  缺陷类分析漏报率<10 %,代码规范类问题分析漏报率<5%。

·  最快分析速度可达300行/秒,十万级源代码可在6分钟内完成检测,百万级源代码可在4小时内完成检测。

·  支持私有云部署,普通PC即可满足50人同时使用。
 

使用codesense的GJB 8114模板对c++源代码规则检测示例 航空、航天、电⼦、船舶等软件测评中⼼作为第三⽅评测机构,在测试过程中会严格按照“8114”的规则进⾏检测,不但可以在评测体系内保证代码规则的⼀致性,还可以在全军体系内实施推动软件标准化,落实提⾼软件的可维护性和可靠性,增强我国军⽤软件的质量。... 阅读详情

相关推荐

浅谈安全漏洞及工具

一,什么是安全漏洞 安全漏洞是在硬件、软件、协议的具体实现或系统安全策略上存在的缺陷,从而可以使攻击者能够在未授权的情况下访问或破坏系统。举例来说,比如最近一次的Log4j 漏洞事件,攻击者仅需向目标输入一段代码,不需要用户执行任何多余操作即可触发该漏洞,使攻击者可以远程控制用户受害者服务器,90% 以上基于 java 开发的应用平台都会受到影响。 二,安全漏洞如何产生 安全漏洞往往会给公司带来极大的麻烦。攻击者会利用它们去攻击普通用户、管理员以及连接和使用此类...

ubisectech的博客 1264

如何利用codesense的GJB8114模板对c++源码进行进行规则检测

编程规范或标准的落实,⼀⽅⾯可以使代码开发⼈员在编程过程中遵守规则,从⽽保证代码的可理解性和可维护性,进而提高代码质量;另⼀⽅⾯也可以让测试⼈员按照规则来检查代码,及时发现代码问题。...

m0_50579386的博客 1984

代码审计工具学习之RISP(安装以及初步操作)

1 代码审计 1.1名词解释 代码审计(Code audit)是一种以发现程序错误,安全漏洞和违反程序规范为目标的源代码分析。软件代码审计是对编程项目中源代码的全面分析,旨在发现错误,安全漏洞或违反编程约定。 它是防御性编程范例的一个组成部分,它试图在软件发布之前减少错误。 C和C ++源代码是最常见的审计代码,因为许多高级语言(如Python)具有较少的潜在易受攻击的功能(例如,不检查边界的函数)。 顾名思义就是检查源代码中的安全缺陷,检查程序源代码是否存在安全隐患,或者有编码不规范的地方,通过..

weixin_52515588的博客 1万+

CodeSense5.1重磅发布|精准、合规、智能三重进化,驱动国产静态分析新高度

本次升级重点拓展了多项关键国家标准规则集,包括GB/T 34943、GB/T 34944与GB/T 39412等,规则覆盖率达99%,规则检出率超95%,能够依据国家标准更有效地识别潜在风险,为软件安全合规提供直接、可靠的技术保障。未来,泛联新安将继续聚焦软件质量与安全领域,以自主可控的工具与专业服务,助力各行业客户构建高标准、可信赖的软件质量保障体系,支撑我国软件产业实现更安全、更可靠的高质量发展。三大模块实现全面突破,彰显了其在软件质量与安全领域持续深耕的技术实力与产品诚意。

flxa19310090839的博客 636

Seay源代码审计

Sea源代码审计

qq_59611876的博客 6013

国产代码审计工具Pinpoint介绍

硬核国产代码审计工具Pinpoint介绍 简介 Pinpoint是由国内源伞科技所研制的一款静态代码审计工具,源伞科技公司是香港科技大学安全实验室的众多博士创建的,产品集成了实验室多年的研究成果,在众多国际顶级学术会议上都发表了成果论文,在学术界有很大的影响。近几年源伞科技将静态代码检测产品Pinpoint成功商业化,目前产品已经比较成熟,能够方便的集成各种安全开发流程,操作界面流畅。能够直接扫描...

SourceBrella的博客 5185

一篇文章读懂源代码缺陷分析|了解专业级源代码缺陷深度分析平台CodeSense

摘要:源代码缺陷是影响软件质量、安全性和可靠性的代码问题,其范围比Bug更广。根据CWE标准,缺陷可分为代码问题、安全问题、性能问题等多种类型。静态代码分析(SAST)是有效的检测手段,但现代软件规模扩大、复杂度增加带来了多语言支持、误报率控制等新挑战。专业工具如CodeSense通过深度分析、AI辅助等技术,能高效检测缺陷并提供修复建议,帮助提升软件质量、降低维护成本。源代码缺陷分析已成为保障软件安全可靠的重要环节。

flxa19310090839的博客 657

ERA5数据批量下载

ERA5再分析数据的IDM接管下载

qq_38734327的博客 3034

纯新手DSP编程--5.15--代码创建

工程高级管理 生成库工程     工程从属关系(Dependencies) 工程从属工具使你能够操作和编译更加复杂的工程。工程从属能够将一个大工程分割成多个小工 程,然后使用这些工程从属创建最终的工程。子工程通常首先编译,因为主工程依靠这些子工程。   1 创建工程从属(子工程) 有三种方法创建一个工程从属关系或子工程。 (1)、从工程视窗中拖拽。将子工程放入目标工程中

工作笔记 1万+

赛灵思Xilinx 7系列FPGA硬件设计知识总结

本文讲述了赛灵思7系列FPGA硬件设计的关键点,为使用该系列FPGA提供硬件设计参考。

csdn_dsw的博客 3617

AWS入门实践-如何在AWS云上创建一个内外网隔离的生产环境

在 AWS 上建立一个内外网分离的生产环境,可以减少应用服务的暴露面,有效的保证你的应用服务器的安全。通常我们会将web应用放在外网的子网内,数据库服务器等放在内网的子网。我们将按照下图来部署动手实践环境,实现在public subnet的EC2虚拟机可以直接通过互联网可以访问,在Private subnet的EC2虚拟机不能通过互联网直接访问,但是却可以在内部来访问互联网安装应用等等。

weixin_39108752的博客 2993

国内十大静态代码分析工具全景解析:AI 赋能缺陷早筛,筑牢研发质量防线

然而,技术的选择与应用只是第一步,真正的安全需要贯穿软件开发的全生命周期。期待工具不断创新进步,行业内外共同携手,构建更加安全可靠的软件生态,为数字化时代的安全发展贡献力量。基于Cppcheck增强,专注C/C++/C#/Lua的底层缺陷(如空指针、未初始化变量),集成腾讯云CI/CD流水线。云端SAST服务,支持Java/Python/JS,深度整合鲲鹏生态,提供IDE插件与CI/CD自动化。拥有1300 +规则库,支持20 +种语言,可全方位检测代码缺陷,为代码质量提供多重保障。

2501_92667898的博客 1176

STM32嵌入式开发实战:如何用miniLZO压缩算法节省70%存储空间(附完整工程)

本文详细介绍了如何在STM32嵌入式开发中使用miniLZO无损压缩算法实现高达70%的存储空间节省。通过对比分析不同轻量级算法,重点讲解miniLZO的内存优化配置、分块压缩策略和完整工程实现,帮助开发者有效解决嵌入式系统中的存储瓶颈问题。

ss78901的博客 881

基于源代码的软件同源性分析与漏洞检测系统(C++和QT)

构造代码中可能与整数宽度溢出发生关联的变量们构成的链表,之后构造代码中与整数宽度溢出有关的函数们构成的链表,之后构造代码中与整数宽度溢出有关的缓冲区设置以及边界审查们构成的链表,本文转载自http://www.biyezuopin.vip/onews.asp?构造代码中可能与堆溢出发生关联的变量们构成的链表,之后构造代码中与堆溢出有关的函数们构成的链表,之后构造代码中与堆溢出有关的缓冲区设置以及边界审查们构成的链表,从第一行遍历代码,寻找敏感函数出现的地方,并通过对于参数等的分类讨论来判断是否会发生溢出。

毕业作品网站 1193

OpenHarmony系统参数权限配置避坑指南:从param get/set失败到SELinux标签实战

本文深入解析OpenHarmony系统参数权限配置的常见问题与解决方案,涵盖DAC和SELinux双重权限控制机制。通过实战案例演示如何配置`param get/set`权限,解决'Permission denied'错误,并提供三方应用访问参数的安全方案,帮助开发者高效完成系统调试与优化。

weixin_27013291的博客 448

Redis 可视化工具 RedisInsight 的保姆级安装以及使用(最新)

Redis 可视化工具 RedisInsight 的保姆级安装以及使用(最新)

一名全栈小白的博客 1万+

xcode4的自动完成功能(Code sense or Code Snippet)

社区会员rainbird分享: 自动完成包括两种含义,一种是输入字母的时候可以动态弹出一个列表,然后通过选择,提高输入效率,这种好像叫代码提示(Code sense?);另一种就是输入几个字母的时候一回车,出来一串儿字符(Code Snippet?)。当然了,肯定不会乱出,都是你事先定义好的。记的这个功能在vim里叫作map,而我写php的时候最常用的一个map就是通过ctrl+d输入var_d

半山枫叶的专栏 1082

从SAR信号到洪涝地图:基于Sentinel-1数据的水体快速提取实战

本文详细介绍了如何利用Sentinel-1 SAR数据快速提取水体信息并生成洪涝地图的实战方法。通过预处理五部曲和SDWI指数计算,结合具体案例展示了SAR技术在洪涝灾害应急监测中的高效性和准确性,为救援决策提供关键支持。

weixin_29201313的博客 461

java软件缺陷管理系统(开题+源码)

本研究将围绕软件缺陷管理系统的核心功能进行深入研究和开发,包括测试人员管理、开发人员管理、项目信息管理、项目问题管理、问题处理等功能模块。通过这些功能模块的设计和实现,构建一个完整、统一的软件缺陷管理系统,实现软件缺陷的全面管理和跟踪。同时,结合软件开发团队的实际需求和使用场景,对系统进行持续优化和改进,提高系统的可用性和用户体验。同时,通过对系统的持续优化和改进,提高系统的稳定性和安全性,确保用户信息和资源的保密性。2023年4月至5月:文档编写和培训,编写用户手册和系统文档,并进行相关人员的培训。

nodejs程序设计老哥 1327

添加odbc数据源时的一些问题和解决办法

pl/sql

Mr_Syh的博客 9641

jdk-8u144-linux-x64.tar.gz.

该资源为搭建Linux系统Java环境用,资源的后缀为tar.gz格式的压缩包

【附源码】计算机毕业设计SSM软件缺陷管理系统

项目运行环境配置:(Webstorm也行)+ Eclispe(IntelliJ IDEA,Eclispe,MyEclispe,Sts都支持)。项目技术:等等组成,B/S模式 + Maven管理等等。环境需要1.运行环境:最好是java jdk 1.8,我们在这个平台上运行的。其他版本理论上也可以。2.IDE环境:IDEA,Eclipse,Myeclipse都可以。推荐IDEA;3.tomcat环境:Tomcat 7.x,8.x,9.x版本均可4.

计算机程序_设计 1018

老版QQ原生表情gif动态

这是老版的QQ表情,不过全是动态的的,Windows照片查看器是不会动的,可以右击用浏览器打开查看,再说一遍是老版的,只是分享给宁愿用老版也要动态的人。

Python 代码质量提升指南:静态分析与Lint工具

静态分析工具是一种在不执行代码的情况下检查代码的技术。这些工具可以识别代码中的潜在问题,如语法错误、未使用的变量、重复代码等。通过静态分析,开发者可以在早期阶段发现问题,从而减少调试时间和成本。Python 静态分析工具是提升代码质量的重要工具。通过使用 Flake8、PyLint 和 Bandit 等工具,我们可以有效地发现代码中的问题,提高代码的可维护性和安全性。将这些工具集成到开发流程中,可以显著降低开发过程中的错误率,提高团队的工作效率。

2501_91162986的博客 592

Camera2Demo

在Camera2 的基础上进行封装,使得Camera2一堆初始化逻辑与Activity分离,降低耦合度,完成预览拍照并保存的操作

visio安装包

Microsoft Office Visio 是一款专业的制图软件。利用经过更新的形状、协作工具和数据链接图表,创建专业级图表以简化复杂的信息。

推荐一款免费开源的代码质量分析工具

Flawfinder是一款开源的关于C/C++静态扫描分析工具,其根据内部字典数据库进行静态搜索,匹配简单的缺陷与漏洞,flawfinder工具不需要编译C/C++代码,可以直接进行扫描分析。简单快速,最大的有点就是免费,不需要编译。flawfinder工具可以在官网进行下载。

嵌入式单片机实验室 2755

免费、开源缺陷管理工具有哪些?分享5款

软件缺陷管理是一个关于发现,记录,追踪,处理和报告软件缺陷的过程。这是软件开发过程中的一个重要环节,它可以帮助开发团队保持代码的质量并及时修复问题。

伤心的辣条 917

这款 AI 编码工具 CodeFuse 很惊艳

CodeFuse 是和 GitHub Copilot 类似的编码助手,是蚂蚁集团基于自研的基础大模型进行微调的代码大模型。CodeFuse 具备代码补全、添加注释、解释代码、生成单测,以及代码优化功能,以帮助开发者更快、更轻松地编写代码。我们知道在 IntelliJ IDEA 中安装 GitHub Copilot 并不能召唤出 chat 功能,目前这个功能还处于测试阶段,但 CodeFuse 直接就可以召唤出 chat 功能,并能很好的解释代码。

一个成长中的程序员,期待用技术的眼光生活 3237

AI原生安全治理视角下的DevSecOps工具链:2024年行业应用现状与技术实践

作为DevSecOps敏捷安全先行者和新一代数字供应链安全开拓者,悬镜安全在全球范围内原创专利级“全流程数字供应链安全赋能平台+敏捷安全工具链+供应链安全情报预警服务”的第三代DevSecOps数字供应链安全管理体系,将源鉴SCA、灵脉IAST、灵脉SAST、云鲨RASP等敏捷安全技术工具进行深度联动,在DevSecOps敏捷安全体系建设、数字供应链安全审查、开源供应链安全治理和云原生安全体系建设四大典型应用场景下,创新赋能金融、车联网、能源、通信、政企、智能制造和泛互联网等数千家行业用户,为用户构筑适应自

weixin_64810147的博客 1112
上一篇: 从开源组件安全看SCA软件成分分析技术
下一篇: 一款基于大数据和二进制代码分析的国产自主软件 — BinSearch
ValiantSec
博客等级 码龄5年 8粉丝 10原创
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值