智能合约大模型审计报告自动化生成从 JSON 漏洞清单到 Markdown 排版引擎在智能合约安全审计的商业交付中发现漏洞只是前半程如何将混乱的漏洞清单、PoC 复现代码、严重等级与修复建议自动组装为一份结构严谨、排版专业、带有时序调用图与代码高亮对比的工业级审计报告Audit Report是决定团队交付专业度的关键一步。如果每次审计都依赖安全专家手动在 Word 或 Notion 里复制粘贴、排版表格不仅耗时耗力而且容易在修补版本时出现漏洞编号错乱或代码行号对不齐的低级错误。构建一套“结构化 JSON 漏洞中间件 - Markdown 自动化排版引擎 - PDF / HTML 一键导出”的流水线能够将报告编写时间从原本的 3 小时缩短至 5 秒钟。一、审计报告自动化生成流水线架构graph TD AuditEngine[大模型 形式化验证引擎] -- JSONFindings[标准化漏洞元数据 (findings.json)] subgraph Markdown 报告自动化排版引擎 JSONFindings -- Parser[元数据解析器: 统计严重等级分布 High/Medium/Low] Parser -- MermaidGen[时序图生成器: 自动生成漏洞攻击流程 Mermaid 序列图] Parser -- DiffHighlighter[代码对比器: 自动格式化 Vulnerable vs Fixed Diff] Parser -- TemplateRenderer[Handlebars / EJS 模板引擎渲染标准排版] end TemplateRenderer -- MarkdownDoc[输出精美的 audit_report.md] MarkdownDoc -- PDFEngine[Pandoc / Marp: 一键渲染为商业交付级 PDF]二、标准化漏洞中间格式JSON Schema定义// report/types.ts export type SeverityLevel CRITICAL | HIGH | MEDIUM | LOW | INFORMATIONAL; export interface VulnerabilityFinding { id: string; title: string; severity: SeverityLevel; category: REENTRANCY | ACCESS_CONTROL | ORACLE_MANIPULATION | ARITHMETIC; targetContract: string; targetFunction: string; affectedLines: string; description: string; exploitScenario: string[]; proofOfConceptCode: string; recommendation: string; remediationDiff: string; } export interface AuditReportMetadata { projectName: string; repositoryUrl: string; commitHash: string; auditDate: string; leadAuditor: string; findings: VulnerabilityFinding[]; }三、TypeScript Markdown 报告生成引擎实现// report/generateMarkdownReport.ts import fs from fs; import { AuditReportMetadata, VulnerabilityFinding } from ./types; export function renderAuditMarkdownReport(data: AuditReportMetadata): string { // 1. 统计各等级漏洞数量 const counts { CRITICAL: 0, HIGH: 0, MEDIUM: 0, LOW: 0, INFORMATIONAL: 0 }; data.findings.forEach((f) counts[f.severity]); // 2. 渲染报告头部与摘要表格 let md # ️ 智能合约安全审计与代码评估报告 **项目名称**: \${data.projectName}\ **代码仓库**: [${data.repositoryUrl}](${data.repositoryUrl}) **审计提交 Hash**: \${data.commitHash}\ **审计日期**: \${data.auditDate}\ **主审架构师**: \${data.leadAuditor}\ --- ## 一、漏洞风险概览矩阵 | 严重级别 | 发现数量 | 状态 | |---|---|---| | **CRITICAL (致命)** | **${counts.CRITICAL}** | ${counts.CRITICAL 0 ? 需立即修复 : 通过} | | **HIGH (高危)** | **${counts.HIGH}** | ${counts.HIGH 0 ? 需立即修复 : 通过} | | **MEDIUM (中危)** | **${counts.MEDIUM}** | 建议上线前修复 | | **LOW (低危)** | **${counts.LOW}** | 优化项 | | ℹ️ **INFORMATIONAL (提示)** | **${counts.INFORMATIONAL}** | 代码质量建议 | --- ## 二、详细漏洞分析与修复建议 ; // 3. 逐条渲染漏洞详情 data.findings.forEach((finding, idx) { md ### [${finding.id}] ${finding.title} - **严重等级**: \${finding.severity}\ - **漏洞类型**: \${finding.category}\ - **受害合约**: \${finding.targetContract}\ - **受害函数**: \${finding.targetFunction}\ (代码行号: \${finding.affectedLines}\) #### 1. 漏洞深度描述 ${finding.description} #### 2. 攻击利用场景 (Exploit Scenario) ${finding.exploitScenario.map((step, i) ${i 1}. ${step}).join(\n)} #### 3. 形式化复现单测 (PoC) \\\solidity ${finding.proofOfConceptCode.trim()} \\\ #### 4. 修复方案建议 (Remediation Diff) ${finding.recommendation} \\\diff ${finding.remediationDiff.trim()} \\\ --- ; }); return md; }四、实战从 JSON 数据到一键生成完整交付报告// scripts/runReportGenerator.ts import fs from fs; import { renderAuditMarkdownReport } from ../report/generateMarkdownReport; import { AuditReportMetadata } from ../report/types; const sampleData: AuditReportMetadata { projectName: CyberLending Protocol, repositoryUrl: https://github.com/cyber/lending-core, commitHash: 7b8f9a0c2d3e4f5a6b7c8d9e0f1a2b3c4d5e6f7a, auditDate: 2026-09-17, leadAuditor: Rich Own (0xRich...), findings: [ { id: CYBER-SEC-01, title: 紧急暂停修饰符缺失导致极端行情下清算死锁, severity: HIGH, category: ACCESS_CONTROL, targetContract: CyberVault.sol, targetFunction: emergencyPause(), affectedLines: L45-L52, description: emergencyPause 函数在设计时漏掉了 onlyRole(PAUSER_ROLE) 修饰符普通外部用户可随意暂停全协议。, exploitScenario: [ 攻击者调用 emergencyPause(), 所有借款人的正常补仓与还款操作被冻结, 攻击者趁机利用预言机延迟触发恶意清算获利, ], proofOfConceptCode: function test_UnauthorizedPause() public { vm.prank(address(0xbad)); vault.emergencyPause(); assertTrue(vault.paused()); }, recommendation: 为函数添加 onlyRole(PAUSER_ROLE) 修饰符。, remediationDiff: - function emergencyPause() external { function emergencyPause() external onlyRole(PAUSER_ROLE) {, }, ], }; const markdown renderAuditMarkdownReport(sampleData); fs.writeFileSync(AUDIT_REPORT_DELIVERY.md, markdown); console.log( [Report Generated] Saved to AUDIT_REPORT_DELIVERY.md);五、自动化排版引擎三大工程价值版本迭代一键更新Instant Re-auditing Diff当客户提交了修复补丁后重新运行流水线报告自动根据最新的 Git Commit 和修补状态生成“V1 vs V2 修复验收复核表”格式百分之百标准化杜绝了人工排版时偶发的语法缩进错误或 Markdown 格式残缺支持多渠道无缝分发同一套 JSON 元数据既能生成美观的 Markdown 报告供 GitHub PR 审阅又能一键推送到团队内部的知识库或生成商业 PDF。用结构化的代码工程思维重塑安全交付文档让每一份审计报告都具备工业级的美学与专业权威。 智能合约大模型审计报告自动化生成：从 JSON 漏洞清单到 Markdown 排版引擎
智能合约大模型审计报告自动化生成从 JSON 漏洞清单到 Markdown 排版引擎在智能合约安全审计的商业交付中发现漏洞只是前半程如何将混乱的漏洞清单、PoC 复现代码、严重等级与修复建议自动组装为一份结构严谨、排版专业、带有时序调用图与代码高亮对比的工业级审计报告Audit Report是决定团队交付专业度的关键一步。如果每次审计都依赖安全专家手动在 Word 或 Notion 里复制粘贴、排版表格不仅耗时耗力而且容易在修补版本时出现漏洞编号错乱或代码行号对不齐的低级错误。构建一套“结构化 JSON 漏洞中间件 - Markdown 自动化排版引擎 - PDF / HTML 一键导出”的流水线能够将报告编写时间从原本的 3 小时缩短至 5 秒钟。一、审计报告自动化生成流水线架构graph TD AuditEngine[大模型 形式化验证引擎] -- JSONFindings[标准化漏洞元数据 (findings.json)] subgraph Markdown 报告自动化排版引擎 JSONFindings -- Parser[元数据解析器: 统计严重等级分布 High/Medium/Low] Parser -- MermaidGen[时序图生成器: 自动生成漏洞攻击流程 Mermaid 序列图] Parser -- DiffHighlighter[代码对比器: 自动格式化 Vulnerable vs Fixed Diff] Parser -- TemplateRenderer[Handlebars / EJS 模板引擎渲染标准排版] end TemplateRenderer -- MarkdownDoc[输出精美的 audit_report.md] MarkdownDoc -- PDFEngine[Pandoc / Marp: 一键渲染为商业交付级 PDF]二、标准化漏洞中间格式JSON Schema定义// report/types.ts export type SeverityLevel CRITICAL | HIGH | MEDIUM | LOW | INFORMATIONAL; export interface VulnerabilityFinding { id: string; title: string; severity: SeverityLevel; category: REENTRANCY | ACCESS_CONTROL | ORACLE_MANIPULATION | ARITHMETIC; targetContract: string; targetFunction: string; affectedLines: string; description: string; exploitScenario: string[]; proofOfConceptCode: string; recommendation: string; remediationDiff: string; } export interface AuditReportMetadata { projectName: string; repositoryUrl: string; commitHash: string; auditDate: string; leadAuditor: string; findings: VulnerabilityFinding[]; }三、TypeScript Markdown 报告生成引擎实现// report/generateMarkdownReport.ts import fs from fs; import { AuditReportMetadata, VulnerabilityFinding } from ./types; export function renderAuditMarkdownReport(data: AuditReportMetadata): string { // 1. 统计各等级漏洞数量 const counts { CRITICAL: 0, HIGH: 0, MEDIUM: 0, LOW: 0, INFORMATIONAL: 0 }; data.findings.forEach((f) counts[f.severity]); // 2. 渲染报告头部与摘要表格 let md # ️ 智能合约安全审计与代码评估报告 **项目名称**: \${data.projectName}\ **代码仓库**: [${data.repositoryUrl}](${data.repositoryUrl}) **审计提交 Hash**: \${data.commitHash}\ **审计日期**: \${data.auditDate}\ **主审架构师**: \${data.leadAuditor}\ --- ## 一、漏洞风险概览矩阵 | 严重级别 | 发现数量 | 状态 | |---|---|---| | **CRITICAL (致命)** | **${counts.CRITICAL}** | ${counts.CRITICAL 0 ? 需立即修复 : 通过} | | **HIGH (高危)** | **${counts.HIGH}** | ${counts.HIGH 0 ? 需立即修复 : 通过} | | **MEDIUM (中危)** | **${counts.MEDIUM}** | 建议上线前修复 | | **LOW (低危)** | **${counts.LOW}** | 优化项 | | ℹ️ **INFORMATIONAL (提示)** | **${counts.INFORMATIONAL}** | 代码质量建议 | --- ## 二、详细漏洞分析与修复建议 ; // 3. 逐条渲染漏洞详情 data.findings.forEach((finding, idx) { md ### [${finding.id}] ${finding.title} - **严重等级**: \${finding.severity}\ - **漏洞类型**: \${finding.category}\ - **受害合约**: \${finding.targetContract}\ - **受害函数**: \${finding.targetFunction}\ (代码行号: \${finding.affectedLines}\) #### 1. 漏洞深度描述 ${finding.description} #### 2. 攻击利用场景 (Exploit Scenario) ${finding.exploitScenario.map((step, i) ${i 1}. ${step}).join(\n)} #### 3. 形式化复现单测 (PoC) \\\solidity ${finding.proofOfConceptCode.trim()} \\\ #### 4. 修复方案建议 (Remediation Diff) ${finding.recommendation} \\\diff ${finding.remediationDiff.trim()} \\\ --- ; }); return md; }四、实战从 JSON 数据到一键生成完整交付报告// scripts/runReportGenerator.ts import fs from fs; import { renderAuditMarkdownReport } from ../report/generateMarkdownReport; import { AuditReportMetadata } from ../report/types; const sampleData: AuditReportMetadata { projectName: CyberLending Protocol, repositoryUrl: https://github.com/cyber/lending-core, commitHash: 7b8f9a0c2d3e4f5a6b7c8d9e0f1a2b3c4d5e6f7a, auditDate: 2026-09-17, leadAuditor: Rich Own (0xRich...), findings: [ { id: CYBER-SEC-01, title: 紧急暂停修饰符缺失导致极端行情下清算死锁, severity: HIGH, category: ACCESS_CONTROL, targetContract: CyberVault.sol, targetFunction: emergencyPause(), affectedLines: L45-L52, description: emergencyPause 函数在设计时漏掉了 onlyRole(PAUSER_ROLE) 修饰符普通外部用户可随意暂停全协议。, exploitScenario: [ 攻击者调用 emergencyPause(), 所有借款人的正常补仓与还款操作被冻结, 攻击者趁机利用预言机延迟触发恶意清算获利, ], proofOfConceptCode: function test_UnauthorizedPause() public { vm.prank(address(0xbad)); vault.emergencyPause(); assertTrue(vault.paused()); }, recommendation: 为函数添加 onlyRole(PAUSER_ROLE) 修饰符。, remediationDiff: - function emergencyPause() external { function emergencyPause() external onlyRole(PAUSER_ROLE) {, }, ], }; const markdown renderAuditMarkdownReport(sampleData); fs.writeFileSync(AUDIT_REPORT_DELIVERY.md, markdown); console.log( [Report Generated] Saved to AUDIT_REPORT_DELIVERY.md);五、自动化排版引擎三大工程价值版本迭代一键更新Instant Re-auditing Diff当客户提交了修复补丁后重新运行流水线报告自动根据最新的 Git Commit 和修补状态生成“V1 vs V2 修复验收复核表”格式百分之百标准化杜绝了人工排版时偶发的语法缩进错误或 Markdown 格式残缺支持多渠道无缝分发同一套 JSON 元数据既能生成美观的 Markdown 报告供 GitHub PR 审阅又能一键推送到团队内部的知识库或生成商业 PDF。用结构化的代码工程思维重塑安全交付文档让每一份审计报告都具备工业级的美学与专业权威。