NaiveSystems

项目简介

Naive Systems使用形式化验证等核心技术，提高代码检测工具的质量，能够比市场上已有产品提供更好的关于误报和漏报的保证。典型应用案例是在汽车电子领域的功能安全检查中，汽车部件中的程序出于合规性需求，必须使用此类工具进行检查。除此之外，团队使用自研的静态分析工具，扫描和清洗开源代码，为客户提供高质量、安全、稳定的开源代码依赖仓库，在开源世界和企业之间建立“依赖防火墙”。