LogicStar：AI智能体自主修复代码漏洞，引领软件维护革新

图源LogicStar

瑞士初创企业LogicStar成立于2024年，专注于开发一款先进的代码智能体。该智能体结合大语言模型的最新突破与传统计算机科学技术，能够自动识别软件系统中的漏洞，并利用合适的大语言模型生成修复方案，整个过程无需人工介入。

LogicStar是苏黎世联邦理工学院和INSAIT的衍生企业，由Boris Paskalev、Mark Müller、Veselin Raychev及Martin Vechev联合创立。Boris Paskalev担任CEO，拥有麻省理工学院计算机科学与电气工程硕士学位，曾联合创办DeepCode，并担任LatticeFlow、Netfabric等公司的顾问，同时也是INSAIT的战略创业顾问。CTO Mark Müller拥有苏黎世联邦理工学院计算机科学博士学位。首席架构师Veselin Raychev同样拥有苏黎世联邦理工学院博士学位，也是DeepCode的联合创始人。顾问Martin Vechev是苏黎世联邦理工学院教授，也是INSAIT的创始人。

图源LgociStar

软件行业长期受困于应用程序维护的复杂性，这是开发中最耗费精力的阶段。传统依赖人工的漏洞修复方式不仅耗时，还容易导致漏洞堆积，开发团队约40%的时间花在问题分类和修复上，影响新功能开发。现有的AI编码代理在基准测试中表现良好，但在复杂环境中常常出错。

AI智能体正快速发展，未来十年有望彻底改变企业运营、决策和自动化。数据显示，美国企业级AI智能体市场规模2024年为7.695亿美元，2025年预计达10.7亿美元，2030年前复合年增长率将达43.6%。

图源LogicStar

LogicStar推出的AI智能体专为自主修复代码漏洞设计，可自动识别、复现并修复软件中的高精度错误，从而减轻维护负担，让工程团队专注于创新功能开发。

LogicStar智能体的核心是将深度语义代码推理与大语言模型的生成能力融合。它利用经典计算机科学方法对每个应用进行深入的静态和动态分析，全面掌握软件模块的功能、输入输出、通信及依赖关系。基于这些上下文信息，智能体能准确定位问题模块，并在“最小化执行环境”中运行大量测试以重现错误，从而精确识别漏洞位置和触发条件。确认原因后，智能体调用多个大语言模型生成修复方案，并对候选方案进行验证，最终选出最佳修复。

在提交修复方案前，LogicStar智能体对多种方案进行独立测试和验证，确保只有经过严格验证的方案才传递给开发团队，全程无需人工干预。同时，智能体透明展示工作过程，允许开发人员审核和监督。

LogicStar的“最小化执行环境”使用户能以更低成本、更大规模利用大语言模型资源，提高修复准确率。测试显示，LogicStar能将漏洞平均修复时间缩短95%，并自主修复40%的缺陷，多数拉取请求的测试覆盖率达100%，且通过静态验证。

2025年2月，LogicStar完成300万美元种子轮融资，投资方包括Northzone、Sequoia和DeepMind等知名机构。

LogicStar是2025年《瑞士创新100强》（TOP100 Swiss Startups）上榜企业。《瑞士创新100强》汇聚了最佳“瑞士制造”的初创及成长期科技创新企业，是瑞士科技创新领域最具国际影响力的标杆榜单。自2011年以来，该榜单每年在瑞士全国范围内评选出100家最具开创性和市场前景的瑞士创新企业和25家最具独角兽潜力的瑞士成长期企业，覆盖生命科学、工程机械、机器人、信息通信、低碳科技、食品科技等领域。《瑞士创新100强》及系列品牌活动是瑞士创新生态圈的标志性活动，代表着瑞士创新最高地和国际投融资最前沿。

2025年《瑞士创新100强》中文版由以明科技（Insight Tech）荣誉发布。以明科技是《瑞士创新100强》的中国授权合作方，负责《瑞士创新100强》在中国的运营推广并协助榜单项目对华商业合作。以明科技是中欧（瑞士）产业创新合作服务商，致力于以创新加速器、股权投资和商业咨询服务，促进瑞士创新中国化和中国产业国际化。

获取《瑞士创新100强》完整榜单及行业榜单，请访问以明科技公号或官网。