C 开发者经常遇到未定义行为,这可能导致不可预测和危险的结果。构建一个工具包,分析代码并为未定义行为模式提供可行的修复方案。企业级 C 开发团队会为此付费,以提高代码安全性并减少责任。从标记常见未定义行为的基本 Linter 开始。风险在于开发者可能忽略警告或发现误报。
更安全的 C 开发工具
构建一个 IDE 插件或静态分析器,帮助 C 开发者识别和减少未定义行为。面向在安全关键系统工作的专业 C 开发者。
为什么是现在
随着对软件安全审查的日益严格,开发人员正在积极寻找工具来减少遗留 C 代码库中的未定义行为。
- 做给谁
- 专业 C 开发者
- 商业模式
- 高级 IDE 插件
- 投入量级
- 几个月