最近、MetaTrust Labs と南洋理工大学および他のいくつかの大学の共同研究チームが発表した学術論文「GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis」が、世界最高の学術会議である ICSE2024 会議を通過しました。ソフトウェア エンジニアリングの分野。審査員によって審査され、出版されます。この論文では、スマート コントラクト ロジックの脆弱性を検出する能力を向上させるために、プログラム分析テクノロジと組み合わせた GPT 大規模言語モデルの使用について研究します。各論理的脆弱性の種類を異なるシナリオと属性に洗練し、GPT と照合して特定し、静的分析と検証を使用することで、検出率と精度を向上させ、スマート コントラクト開発のセキュリティと信頼性の向上を目指します。
全てのコメント