静态代码分析工具 | 编译器

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

维护客户利益一直以来都是鉴释的核心目标。我们着眼于中国开发人员的需求与痛点，自主研发出更简便易操作的软件，旨在为用户提供更高效、更安全的解决方案。

目前，我们的产品主要覆盖高性能工具链包含代码质量分析工具、调试器、分析器、高性能编译器，以及基于安全的操作系统微内核 seL4 开发出的汽车和机器人微内核系统等一系列垂直解决方案。

如果您关注代码安全和产品质量

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

如果您关注基于RISC-V的开发性能

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