国产亚洲AV自拍|av中文字幕一区|资源在线观看一区二区|亚洲影视久久亚洲特级性交|一级做一级a做片爱免费观看|欧美另类亚洲色婷婷精品无码|亚洲青青草免费一区|青青草免费成人网|91久久国内视频|五月天丁香久久

組內(nèi)博士生李宗維論文被CCF-A類國際頂刊TOSEM錄用
來源: 李曉琦/
海南大學
31
0
0
2025-12-16 10:20:17
2025-12-16

近日，海南大學李曉琦研究組研究成果“No More Hidden Pitfalls? Exposing Smart Contract Bad Practices with LLM-Powered Hybrid Analysis”在國際頂級期刊ACM Transactions on Software Engineering and Methodology (TOSEM)上發(fā)表。該論文由組內(nèi)博士生李宗維、副教授李曉琦、博士生李文凱、碩士生王鑫，以及中科院張玉清教授共同完成。TOSEM屬于CCF-A類、中科院一區(qū)Top期刊，是計算機領域中的國際頂級刊物。

圖1 函數(shù)級切片與向量化流程

本文提出SCALM (Smart Contract Audit Language Model) 方法。該方法具有兩大創(chuàng)新點：(1) 結(jié)合上下文感知的函數(shù)級切片技術與知識增強的語義推理，通過可擴展的向量化模式匹配構(gòu)建混合分析架構(gòu)；(2) 提出多層推理驗證系統(tǒng)，將低級代碼模式與高級安全原則通過語法、設計模式和架構(gòu)分析進行關聯(lián)。具體而言，SCALM首先對智能合約代碼進行函數(shù)級切片，提取不良實踐模式并通過嵌入模型轉(zhuǎn)換為語義向量構(gòu)建可擴展知識庫。隨后，結(jié)合檢索增強生成（RAG）和 Step-Back 提示技術實現(xiàn)多層推理驗證，從代碼語法到架構(gòu)層面進行全面檢測。實驗驗證表明，SCALM 在多個數(shù)據(jù)集和多種大語言模型上的表現(xiàn)優(yōu)于現(xiàn)有工具，能夠有效檢測智能合約中的47類不良實踐問題，包括35類安全相關問題和12類質(zhì)量相關問題。
附論文地址：
https://csxqli.github.io/files/TOSEM25.pdf
登錄用戶可以查看和發(fā)表評論， 請前往  登錄 或  注冊。
SCHOLAT.com 學者網(wǎng)
免責聲明 | 關于我們 | 聯(lián)系我們
聯(lián)系我們：