LogicStar AI智能体：革新代码漏洞自主修复技术

图片来源：LogicStar

LogicStar是一家成立于2024年的瑞士信息与通信科技企业，专注于开发代码智能体。该智能体整合了大语言模型的前沿进展与经典计算机科学技术，能够快速识别软件系统中存在的代码漏洞，并通过调用适配的大语言模型自动生成修复方案，整个过程无需人工干预。

LogicStar衍生自苏黎世联邦理工学院和INSAIT，由Boris Paskalev、Mark Müller、Veselin Raychev与Martin Vechev联合创立。Boris Paskalev担任首席执行官，拥有美国麻省理工学院计算机科学与电气工程硕士学位，是DeepCode的联合创始人，并担任LatticeFlow、Netfabric等多家公司顾问，同时兼任INSAIT（保加利亚国家计算机科学、人工智能与技术研究所）的战略创业顾问。Mark Müller任首席技术官，拥有苏黎世联邦理工学院计算机科学博士学位。Veselin Raychev任首席架构师，同样拥有苏黎世联邦理工学院计算机科学博士学位，也是DeepCode联合创始人。Martin Vechev为公司顾问，现任苏黎世联邦理工学院教授，并为INSAIT创始人。

图片来源：LogicStar

软件行业长期面临应用程序维护的复杂性挑战，这是开发流程中最耗时的环节之一。传统方法通常依赖人工监控和修复漏洞，调试过程消耗大量时间和资源，导致积压的漏洞往往数周甚至数月无法处理，使得开发团队约40%的工程时间花费在问题分类和修复上，难以专注于新功能开发。尽管AI编码代理在基准测试和简单任务中表现优异，但在复杂环境中仍易出错。

AI智能体正快速发展，预计未来十年将对企业运营、决策制定和自动化产生变革性影响。在美国，企业级AI智能体市场2024年规模达7.695亿美元，预计2025年增长至10.7亿美元，到2030年复合年增长率（CAGR）将达43.6%。

图片来源：LogicStar

LogicStar开发了一款用于代码漏洞自主修复的AI智能体，能够自动识别、复现和修复软件系统中的高精度代码错误，减轻软件维护和调试负担，使工程团队能更专注于新功能开发。

LogicStar智能体的核心在于将深度语义代码推理与大语言模型的生成能力相结合。它使用经典计算机科学方法对每个应用程序进行深入的静态和动态分析，全面理解软件的所有关键模块，包括功能、输入输出、内外通信、变量与函数关联方式等依赖关系。基于这种丰富上下文，对于每个缺陷，智能体能精准定位问题所在部分，缩小模拟范围，在“最小化执行环境”中运行数千个测试以复现错误，精确识别漏洞发生方式和位置。这实质上是创建和测试一小段代码或脚本，以验证漏洞的真实性。确认原因后，智能体调用适配的大语言模型尝试修复，并对多个候选方案进行验证，最终确定最佳方案。

在将修复方案提交给开发人员前，LogicStar智能体会对多种方案进行反复独立测试和验证，确保仅传递已验证方案，全过程无需人工介入。智能体始终展示工作流程，用户也可安排开发人员审核和监督修复方案。

LogicStar智能体创建的“最小化执行环境”，允许用户以小范围、低成本、大批量方式利用大语言模型资源，降低运营成本并提升方案准确性。测试显示，LogicStar可将漏洞平均修复时间缩短95%，完全自主修复40%的应用程序缺陷；对于多数拉取请求，具备100%测试覆盖率，并通过静态验证。

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

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

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

获取完整榜单及行业榜单，请访问以明科技公众号或官网。