欢迎访问江苏省计算机学会网站!    设为首页  |  收藏本站
江苏省计算机学会
  •  当前位置首页 > 会员中心 > 会员单位
    会员中心  
    注册登录
    专家介绍
    学会领导
    专家风采
    专家报告
    会员单位
    招聘求职
    技术需求
    成果专利
    文件下载
     
    会员单位
    南京云上华安科技有限公司
    发布时间:2024-03-14 17:06:40

    单位介绍

    南京云上华安科技有限公司(以下简称为“云上华安”),是一家专注于“软件质量与安全测试”及“硬件虚拟化”技术的创新企业。其团队成员来自于蚂蚁金服、华为等综合性科技企业,毕业于北京大学、东南大学、墨尔本大学等国内外知名高校,在操作系统、硬件虚拟化、安全攻防等领域有着丰富的经验和业界领先的技术成果与能力,致力于为客户提供安全、稳定、高效的解决方案和技术服务。


    云上华安的产品生态涵盖了六大主力产品:布尔黑盒智能模糊测试平台(基于变异)、青藤黑盒智能模糊测试平台(基于生成)、鹰眼覆盖率实时监控平台、云龙虚拟化引擎、风虎智能漏洞挖掘平台和女娲静态分析平台,构筑出以“软件质量与安全测试”及“硬件虚拟化”为核心的双重阵地。其产品生态为众多领域提供高效、精准的解决方案,为航空航天、工业控制、国防军工、通用软件等诸多重大基础设施领域保驾护航。

    云上华安团队具备业界领先的软件质量与安全测试技术,其自研的产品以优越的运行效率和强大的缺陷检测能力著称,能够灵活应用于各类复杂的测试场景,用户体验感好,使用门槛低,帮助企业和组织提前解决、消除潜在的质量问题与安全风险。

    针对物联网领域的软件质量与安全测试,考虑到硬件设备昂贵、嵌入式系统和芯片种类繁多等痛点,云上华安团队以硬件虚拟化技术为基座,对目标物联网设备进行近乎原生的仿真运行,打破了硬件限制,使目标系统能够脱离硬件进行安全和质量测试。另外硬件虚拟化技术还适用于代码开发与测试、靶场、蜜罐和科研教育等多元化场景。

    云上华安多次获得GoogleMicrosoftApple等顶级厂商的致谢,并为国内多所高校及政企等重要客户提供技术服务。经江苏省科学技术厅审核,云上华安荣获科技型中小企业称号。我们坚信,通过不懈的努力和创新,云上华安将成为软件安全和虚拟化领域的领导者。



    特色与优势

    极具创新性和竞争力的产品

    公司产品生态涵盖了六大主力产品,具有极高的技术壁垒,覆盖航空航天、工业控制、国防军工、通用软件等诸多重大基础设施领域。

    业界领先的漏洞挖掘能力

    团队发现了GoogleMicrosoftApple等主流基础软件厂商多个严重漏洞,以及SiemensSchneiderWind River等工控厂商多个严重漏洞,影响全球数亿台设备。

    顶级会议中稿及技术分享

    团队多次中稿工业界安全顶会BlackHat,并获得ICML最佳论文奖等学术界荣誉。

    代表工业界与学术界顶尖水平的创始团队

    团队成员来自于蚂蚁金服、华为等综合性科技企业,毕业于北京大学、东南大学、墨尔本大学等国内外知名高校,在操作系统、硬件虚拟化、安全攻防等领域有着丰富的经验和业界领先的技术成果与能力。

    产品介绍

    1、布尔黑盒智能模糊测试平台(基于变异)

    布尔是一款基于变异的黑盒模糊测试平台,支持WindowsMacOSLinux、麒麟、统信等主流及国产操作系统,支持x86ARM硬件架构。布尔在无源码和有源码两种场景下均具备对复杂程序(多进程多线程)深度测试的能力;结合云上华安自研的覆盖率实时监控平台鹰眼,布尔还能够基于覆盖率反馈引导测试,提升代码覆盖率,强化发现缺陷的能力。

    2、青藤黑盒智能模糊测试平台(基于生成)

    青藤是一款基于生成的黑盒模糊测试平台,支持WindowsMacOsLinux、麒麟、统信等主流及国产操作系统,支持x86ARM硬件架构。青藤支持测试近百种协议和文件格式,此外,还提供了灵活的语法来开发测试套,相较于业界其它类似的商业产品,测试人员能够极大提升测试套开发效率,降低开发与测试成本。



    3、鹰眼覆盖率实时监控平台

    鹰眼是一款适用于各类操作系统的覆盖率实时监控平台,适用于安全研究、软件测试和结果评估等场景,支持通用操作系统:WindowsLinux、麒麟和统信,支持嵌入式系统:VxWorksFreeRTOSOneOS等。鹰眼支持实时捕获和可视化行级、函数级、代码基本块级多粒度的代码覆盖率;同时,鹰眼强化了各类系统下的缺陷检测和根因定位能力。



    4、云龙虚拟化引擎

    云龙是一款支特多种架构、芯片和操作系统的全自研虚拟化引擎,提供脱离硬件模拟运行操作系统或固件的能力,目前已支持多款业界主流和国产芯片的仿真,如STM32等。此外,云龙虚拟化引擎还提供了打桩、全系统调试、覆盖率 收集、FastSnapshot等原子技术能力。除了软件质量与安全测试,云龙引擎还可为代码开发和测试、靶场、蜜罐和科研教育等多元化场景提供技术能力。



    5、风虎智能漏洞挖掘平台

    风虎是一款以云龙虚拟化引擎为基座、覆盖率反馈模糊测试技术为驱动的灰盒模糊测试平台,支持测试所有云龙虚拟化引擎能够仿真运行的系统。针对IoT设备系统的测试,提供了硬件加速、缺陷监控强化、FastSnapshot等原子技术能力,可以测试系统的任意状态点;针对通用操作系统的测试重点提供了大型GUl程序和复杂协议栈测试的技术能力。



    6、女娲静态分析平台

    女娲是一款全面支持C/C++Java等多种语言的源码静态分析平台,为各类复杂的嵌入式系统、移动应用以及Web应用场景而设计,支持在不改变原生构建链或进行二次构建的情况下,对原生构建进行监控进而生成缺陷分析报告。



    单位信息

    单位联系人:王禹涛

    联系人电话:1876701086

    Email:wangyutao@ysha.cloud

    单位地址:南京市江北新区华创路68号景枫乐创中心b21310


    上一篇:星融元数据技术(苏州)有限公司
    下一篇:南京阿凡达机器人科技有限公司
    友情链接:
    江苏省科学技术协会 中国计算机学会 南京大学 南京大学计算机科技与技术系 南京大学软件学院 东南大学计算机科学与工程学院 江苏经贸职业技术学院 南京信息职业技术学院 南京工业职业技术学院 江苏海事职业技术学院 常州信息职业技术学院 国网电力科学研究院 电子科技集团第28研究所 江南计算技术研究所 
       
     

    Copyright (c) 版权所有 江苏省计算机学会          南京网站建设公司
    秘书处办公室       地址: 江苏省南京市仙林大道163号  邮编:210023   电话/传真:025-89680909   
    秘书处市内联络点   地址: 江苏省南京市汉口路22号     邮编:210093   电话/传真:025-86635622
    电子邮箱:jscs@nju.edu.cn   网址:www.jscs.org.cn    技术支持:南京成旭通信息技术有限公司  

    网站备案号:苏ICP备14049275号-1

    您是本站第31304518位来客!