凭借鉴释高度安全的汽车安全操作系统与高性能工具链解决方案,您可以极大地提升开发效率和安全。
维护客户利益一直以来都是鉴释的核心目标。我们着眼于中国开发人员的需求与痛点,自主研发出更简便易操作的软件,旨在为用户提供更高效、更安全的解决方案。
目前,我们的产品主要覆盖高性能工具链包含代码质量分析工具、调试器、分析器、高性能编译器,以及基于安全的操作系统微内核 seL4 开发出的汽车和机器人微内核系统等一系列垂直解决方案。


如果您关注代码安全和产品质量
您可能正在寻找一种简便的方法来查找和减少编码过程中的错误。鉴释的工具可帮助您践行安全编码,并使其符合行业和公司编码标准。您还可在全软件开发生命周期(SDLC)中借助我们提供的修复建议来识别源代码缺陷和漏洞。

如果您关注基于RISC-V的开发性能
编译器是一个非常复杂的工具,将源代码转换为特定指令集的二进制文件,使软件在不同的架构硬件上运行。鉴释的RISC-V 编译器以LLVM编译器为骨干,在发挥其优势特性的同时,对其加以优化,开发出完全针对RISC-V架构的高性能编译器,涵盖了循环嵌套优化器,全局优化,以及跨函数优化器技术。LLVM的Clang前端允许与当今使用 LLVM或 GCC编译的程序,实现最广泛的源代码兼容性。借由LLVM 代码生成器,对接活跃的开源社区,以充分利用其相当完备的代码大小及窥孔优化,达成RISC-V的代码生成和指令级优化工作。

如果您想开发一款安全的汽车操作系统
在这个万物互联的新时代,随着自动驾驶汽车和机器人等行业的蓬勃发展,市场对于高度安全、永不宕机的操作系统有着非常强劲的需求。鉴释提供最先进的专业产品 —— 安全的形式化验证的操作系统内核和用于现代安全产品的Hypervisor,以满足最严格的可用性和安全性要求。
我们的客户









凭借鉴释高度安全的汽车安全操作系统与高性能工具链解决方案,您可以极大地提升开发效率和安全。