Wisdom-Lens是一个基于大谈话模子（LLM）智能体的自动化裂缝挖掘系统，旨在不休传统抽象测试（Fuzzing）过度依赖东说念主工大众、资本文静、遮掩率低等核肉痛点。系统通过构建多智能体协同框架，将LLM的代码生成、推理分析与自动化器具链深度交融开yun体育网，结束了从面孔分析→目符号别→Harness生成→抽象测试→崩溃分析→叙述生成的全过程闭环，效能提高超百倍。

抽象测试过程图

时刻挑战与动机

传统抽象测试的四大痛点

LLM的五大局限

　　●高下文窗口箝制：长文本信息易被“挤出”，要津信息渐忘。

　　●幻觉与不一致性：生成本色可能脱离事实或高下文。

　　●零落感知与步履才气：无法径直调用器具、操控系统。

　　●无执续操心：单次对话后情状重置，无法积蓄弥远训导。

　　●被迫反应：零落自主计算与反想才气。

智能体（Agent）的破局价值

　　通过器具使用+外部操心+自主计算+反想轮回，将LLM从“文本生成器”升级为具备行能源的“裂缝挖掘大众”。

　　●缓解高下文箝制：摘抄压缩、分层操心、器具外包。

　　●提高可靠性：考证器具+反想轮回自动纠错。

　　●赋予感知步履：器具调用=“眼、耳、手”。

　　●构建执续操心：向量数据库存储弥远学问与任务情状。

　　●结束自主计算：ReAct/AutoGPT框架驱动“想考-步履-不雅察”轮回。

系统架构

　　Wisdom-Lens 选择分层智能体架构，结束模块化与可彭胀性。

中枢时刻创新

基于ANTLR的多谈话静态分析智能体

　　●才气：自动看法C/C++/Java源码，生成跨文献的函数调用图（Call Graph）。

　　●输出：Graphviz DOT体式，门径化结构相干。

　　●价值：替代东说念主工代码审计，为智能体提供全局架构视图，相沿袭击面识别与影响分析。

静态分析使命流图

基于袭击点分析的定向抽象测试战术

　　●范式转动：从“广撒网”遮掩初级API→“定点打击”确实袭击面。

　　●目标聘任原则：聚焦文献看法器、相聚左券处理器等高价值进口点。

　　●效能跃升：传统数周遮掩率教授→分钟级定向测试。

　　●可达性考证：智能体克隆仓库考证函数签名，幸免误报。

自动化Harness生成与“构建直到到手”

Harness生成三要素：

　　●API 签名严格考证：克隆仓库索要确实函数签名。

　　●官方标准启动化：使用库提供的构造函数启动化高下文。

　　●门径接入：长入选择LLVMFuzzerTestOneInput签名，兼容LibFuzzer。

自动化Harness生成过程图

LLM驱动的种子语料生成

　　●问题：立时种子难以触发深层代码旅途。

　　●有诡计：Harness生成后，LLM自动生成1-5个高质地种子。

　　●质地条款：工致且触发确实代码旅途、遮掩有用/范围场景、含Magic Number等要津符号。

　　●效能：加快测试旅途遮掩，减少无效探索。

后抽象任务：崩溃到叙述的自动化闭环

崩溃分类（智能过滤）

　　●确实崩溃：存在crash文献且无HARNESS_ERROR象征。

　　●假阳性：含HARNESS_ERROR（Harness颓势）。

　　●无崩溃：无crash/oom/timeout文献。

应用出息

裂缝规划领域

　　●自若规划员：聚焦攻防逻辑，减少重迭性管事。

　　●限度化挖掘：自动化扫描群众开源组件，丰富CVE/NVD学问库。

　　●智能分析：自动完成根因归类、可诈欺性评估、设立提议生成。

软件供应链安全

　　●智能物料清单：交融静态分析与依赖图谱，自动构建SBOM。

　　●风险精确测绘：锁定袭击面大、权限高的中枢进口（如看法器）。

　　●效能立异：将传统数周供应链审计压缩至数小时。

将来演进：从发现到设立闭环

　　●目标：调用LLM（如OpenAI o3）分析裂缝高下文，自动生谚语义正确、作风匹配的安全补丁。

　　●补丁本色：包含设立代码、影响范围分析、考证有诡计、回首测试用例。

　　●愿景：结束“自动化挖掘→自动化设立→自动化考证”的完好意思安全闭环。

总结

　　Wisdom-Lens 通过智能体架构+定向抽象测试+全自动器具链，将裂缝挖掘从“artisanal craft”（手工艺品）转动为“industrial pipeline”（工业活水线）。其中枢上风在于：

　　全自动化：零东说念主工搅扰完成端到端过程。

　　高精确度：聚焦确实袭击面，减少无效测试。

　　强稳妥性：双模式支执轻易开源面孔。

　　执续进化：自我优化框架，越测越智能。

　　日记看法：索要Sanitizer日记，归因故障代码位置。

　　根因判断：相连高下文识别裂缝类型（堆溢出、UAF等）。

中科数测科技有限公司

　　中科数测科技有限公司（简称“中科数测”）动作中科星图股份有限公司（股票代码688568）的子公司，是软件应用安全行业的高新时刻企业、省级专精特新企业。

　　中科数测勤勉于于成为群众进步的低空和买卖航天相聚安全产物不休有诡计商开yun体育网，公司构建了涵盖基础体式、平台、引擎、器具的GEOVIS iTest全过程测试平台及全生态链测评器具。公司主要产物包括Swift Code源代码安全审计器具、Swift Binary二进制固件裂缝挖掘器具、Swift SCA软件因素分析器具、Swift Fuzzer左券抽象测试器具、Wisdom左券攻防检测一体化平台、AutoPT智能自动化浸透测试平台、Swift AI大模子抗争检测平台、iTestCloud测试云平台、iTestDataChecker数据门径标准查验系统、iTestSQA软件质地评估系统等。同期以空天信息系统测评、低空安全、卫星安全为特质，围绕第三方测评服务、信息安全、测试器具研发和时刻规划等业务，面向低空经济、买卖航天、特种行业、政府、智能网联汽车、金融、科研院所和高校等提供专科产物、服务和不休有诡计。

海量资讯、精确解读，尽在新浪财经APP