当前位置:首页 > 科技资讯 > 正文

瑞士科技公司LogicStar打造代码智能体,引领AI代码修复新纪元

瑞士科技公司LogicStar打造代码智能体,引领AI代码修复新纪元 LogicStar 代码智能体 AI 代码修复 第1张

图源LogicStar

瑞士信息与通信科技公司LogicStar自2024年成立以来,专注于研发能够自主修复代码漏洞的智能体。这款智能体巧妙融合了最新的大语言模型与经典计算机科学技术,能够迅速定位软件系统中的代码漏洞,并自动调用适配的大语言模型生成修复方案,全程无需人工介入。

LogicStar是苏黎世联邦理工学院与INSAIT的衍生公司,由一群顶尖人才共同创立,包括Boris Paskalev、Mark Müller、Veselin Raychev与Martin Vechev。他们各自在科技界拥有卓越的成就和丰富的经验,为LogicStar的成立奠定了坚实的基础。

瑞士科技公司LogicStar打造代码智能体,引领AI代码修复新纪元 LogicStar 代码智能体 AI 代码修复 第2张

图源LgociStar

软件行业长期以来面临着应用程序维护的复杂挑战,这是开发过程中最耗时的环节。传统方法严重依赖人工监督和修复漏洞,导致大量时间和资源的浪费。相比之下,AI编码代理虽然在某些基准测试和简单任务中表现出色,但在复杂环境下却容易出错。LogicStar的智能体则致力于解决这一难题。

随着AI智能体的快速发展,它们预计将在未来十年内对企业业务运营、决策制定和自动化产生深远影响。在美国,企业级AI智能体的市场规模在2024年已达到7.695亿美元,预计到2025年将增长至10.7亿美元,到2030年的复合年增长率(CAGR)将达到惊人的43.6%。

瑞士科技公司LogicStar打造代码智能体,引领AI代码修复新纪元 LogicStar 代码智能体 AI 代码修复 第3张

图源LogicStar

LogicStar的智能体通过深度语义代码推理与大语言模型的生成能力相结合,对应用程序进行全面的静态和动态分析。这种分析方式使得智能体能够全面了解软件的所有重要模块及其关联关系。基于这种丰富的上下文信息,智能体能够精准识别并缩小需要模拟的范围,在“最小化执行环境”中运行数千个测试以重现和识别漏洞。随后,智能体会选用适合的大语言模型来尝试修复该漏洞,并对多个候选修复方案进行验证,最终确定最佳方案。

在将修复方案送给开发人员之前,LogicStar的智能体会对多种不同方案进行反复的独立测试与验证,确保仅将经过验证的方案传递给开发团队。智能体会始终展示工作过程,用户也可安排开发人员审核和监督智能体提出的修复方案。

LogicStar的智能体创造的“最小化执行环境”让用户能更小范围、低成本、大批量地利用大语言模型资源。经测试,LogicStar可将漏洞平均修复时间缩短95%,并完全自主修复40%的应用程序缺陷。对于多数拉取请求,具备100%测试覆盖率,且通过静态验证。

瑞士科技公司LogicStar打造代码智能体,引领AI代码修复新纪元 LogicStar 代码智能体 AI 代码修复 第4张

LogicStar是2025年《瑞士创新100强》上榜企业。该榜单汇聚了瑞士最具创新力和市场前景的初创及成长期科技创新企业。自2011年以来,《瑞士创新100强》每年评选出100家最具开创性的瑞士创新企业。以明科技作为《瑞士创新100强》的中国授权合作方,负责该榜单在中国的运营推广和商业合作。