简介
是一家互联网安全解决方案提供商,核心产品是基于形式验证技术的漏洞挖掘工具,主营业务包括安全漏洞扫描软件开发、软件源代码审计服务、软件安全审计服务、软件源代码自动审计工具开发、软件开发安全顾问服务。
基本信息
注册资本
500万人民币
成立日期
2017-07-06
品牌信息
工商信息
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%