产品详情
新一代软件源代码缺陷深度分析平台,源自清华大学与国防科技大学研究团队多年对代码静态分析技术的理论深耕,结合软件工程实践研发而成,具有良好的语言扩充性、规则完备性、开发环境可集成性,采用控制流分析、数据流分析、上下文敏感分析、对象敏感分析、跨程序分析和跨文件分析等多种技术,精准检测软件的漏洞与缺陷。
联系我们,试用我们的软件HDL Designer国产替代
支持上等语言种类包括:C/C++、C#、Java、PHP、Python、JavaScript、LUA、XML
支持主流开发框架:SpringMVC、SpringBoot、SSM、Struts2、ThinkPHP、Flask
支持主流构建:CMake、Maven | 支持主流SCM:GitLab、GitHub、SVN | 支持主流构建系统:Jenkins、GitLab-CI
支持主流Bug跟踪系统:禅道 | 支持RESTFUL API,可由第三方系统集成,容易嵌入DevOps
支持缺陷知识库扩展 | 支持项目级的访问权限控制
支持主流OS安装部署:Windows、Linux、银河麒麟
强大的缺陷和漏洞检测能力
支持国内外主流标准:
· CWE 7PK覆盖率80%+:
Java分类200+,涵盖CWE 130+:
C分类60+,涵盖CWE 60+:
其他语言分类300+,涵盖CWE 200+:
· OWASP TOP 10覆盖率99%:
· 支持GJB-8114、GJB-5369编码规范:HDL Designer国产替代
自主可控
通过了银河麒麟飞腾 OS 系统兼容性认证。核心开发团队来自清华大学、国防科大等研究机构,作为国内*早投入软件**、编译技术、形式化方法的研究团队,在该领域拥有10年以上研究经验。产品核心代码均为自研,拥有自主知识产权,自主可控性好,能更好的保护用户代码资产**。
代码**态势
给项目管理人员提供专业的代码综合质量评估视角,更好的把握代码的全局**状态,更好的掌控代码到整体**短板。在平台首页显示所有项目的关键指标信息,在项目首页显示该项目的关键指标信息。HDL Designer国产替代
缺陷综合定位
在错综复杂的缺陷报告中定位缺陷成因是棘手的问题。为此,提供全局的缺陷数据流综合视角,便于开发人员定位关键函数。同时在关键缺陷路径上提供重要的辅助信息,帮助开发人员理解缺陷成因,更快修复缺陷。产品:微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪,Fei (维修中心,代表处,总代理,分公司,子公司,售后中心,销售中心,上海办,办事处)
全局数据流图显示
提供缺陷类型的全局数据流图,在一个图上展示同一类型缺陷的全部数据流图,方便开发人员找到修复该类型缺陷的*关键函数/代码块。
深入且精准的缺陷分析
传统静态分析技术大都基于语法树(AST),便于检测代码中的“规范”类缺陷,但对于深度缺陷检测不足。中采用了基于值流图的技术方案,兼顾了分析效率与精度,可检测出跨越多重函数、多个文件的隐蔽代码缺陷,有效提升了检出率。HDL Designer国产替代
智慧减负
在持续集成环境中,回归分析有助于提高代码质量,同时也引入了大量工作量。CodeSense 可以针对同一代码的不同版本进行增量分析,方便开发人员在版本迭代时关注新增的问题,可有效提高效率。于此同时,平台还可将之前的代码审计结果链接到后续版本中,极大减轻复杂。
技术实力—夯实的理论基础
团队近5年累计发表学术论文百余篇,包括中国计算机学会(CCF)分类的:POPL、CAV、LICS、ICSE、FSE、TSE、TOSEM、AI、TPDS、TC等
团队核心成员以**作者发表了大陆首篇CAV论文。两次获得COMPSAC会议*佳论文,在工业领域的应用论文发表在TIE、TEC等高影响因子期刊(IF分别为7.0、8.1)
与国外静态分析领域学者保持活跃交流,为工具研发提供理论支持
更多软件源代码缺陷深度分析平台信息请直接致电埃登威上海HDL Designer国产替代
气流筛分机 花生色选机 浆糊贴标机 中药蜜丸机 工程塑料隔膜泵 全自动干豆腐机 犁刀混合机 米顿罗计量泵 高粘度自吸泵 升温除湿机 小米加工设备 广州河粉机 长轴液下泵 全自动饺子机 白酒灌装机 家用小型饺子机 自动月饼机 花生豆腐机 香肠烘干机 石家庄小吃车 小型肉丸机 莱宝真空泵 板栗去皮机 耐热输送带 高速切丝机 新飞冰柜 耐酸碱自吸泵 小型水饺机 二手搪瓷反应釜 捏合机价格 水稻烘干机 家用玉米脱粒机 耙式干燥机 锯骨机价格 小型豆皮机 水果打浆机 蔬菜烘干机 小型饺子机 小型玉米脱粒机 生物质热风炉 速冻机厂家 商用厨房工程 家用真空包装机 工业热风机 饺子机小型 重型振动筛 小凉皮机 新型面条机 全自动水饺机 燃煤热风炉 白酒灌装设备 引风机价格 大型制冰机 电动绞肉机 螺旋压榨机 饺子机全自动 小型真空包装机 空气冷却器 小型冷库 麦秸打捆机 大豆脱粒机 小型食品机械 超市冷柜