返回大厅
助力海报
产品介绍
产品技术优势
应用场景
荣誉及资质
首个开源国产通信网络安全领域专用编程语言YakLang,是一门上下文无关文法定义的图灵完备的程序语言,他基于跨语言开发平台YakVM 运行,语法规则定义了 Yaklang 的语言结构;同时,Yaklang 是一个动态强类型语言 :1.允许用户可以在改变变量的值的时候也改变变量的类型;2.在进行表达式运算的时候 Yaklang 允许程序或函数识别运行时的准确类型,并进行对应计算。并且,Yaklang 可以编译为 YakVM 可以支持的字节码运行;
Yaklang 的语法博采众长,非常容易上手与学习;
Yaklang 可以作为一门“嵌入式语言”被其他语言调用或编译;
Yaklang 是业内第一门 CDSL (Cybersecurity Domain Specific Language),使用图灵完备特性融合原子化的安全能力。
Yak针对通信网络安全领域长期缺乏自主可控的高效专用编程语言短板,在语法规范、编程工具、执行环境、安全能力集成等方面开展了系统性原创和设计,研发了首款开源的国产通信网络安全领域专用编程语言Yaklang,及其集成开发环境 Yakit、运行环境 YakVM 系列产品,并在通信、能源、制造等重点行业推广应用。
本产品
1.设计了高度融合网络安全能力的可扩展语法规范体系,在网络安全产品设计中,编码效率提升20%,性能指标优于Python、Golang等主流通用编程语言。
2.提出了“内生式”支持软件缺陷分析的图灵完备模糊标签技术 Fuzztag,模糊测试平均执行时间、平均内存占用、CPU利用率、I/0利用率等关键性能指标优于国外同类专用编程语言NASL“外挂式”调用方法。
3.研发了跨语言执行环境YakVM,支持通信网络多种数据交换协议,提出并使用字节码单向生成机制,实现了原生的虚拟机抗逆向分析能力,防止执行逻辑泄漏导致的安全隐患。
面对通信网络安全的专用通信语言,实现安全产品的能力基础设施,提供安全产品所需原子能力,从而让安全产品降低研发成本。
Yak项目已开发出100+个网络安全专用模块,2000+网络安全专用库函数,拥有超过100万+行核心代码,开放了标准接口,支持国密算法,在全球最大开源网站GitHub上建立了Yaklang开源社区,累计用户超90万,月活超16万,已覆盖80%一线用户,月调用次数达3000万次以上。项目成果获授权/申请发明专利13项,拟出版专著1本,参与制定国内和国际标准4项,论文5篇、软件著作权10项,成功应用于能源、工业、运营商、金融等重点领域,2023年度经济效益超2 亿元,并荣获2023年度信息通信领域十大科技进展。