Fast, Fine-Grained Equivalence Checking for Neural Decompilers Authors: Luke Dramko, Claire Le Goues, Edward J. Schwartz | Published: 2025-01-08 プログラム解析制御依存性順序付け等価性評価 2025.01.08 2025.04.03 文献データベース
G-Scan: Graph Neural Networks for Line-Level Vulnerability Identification in Smart Contracts Authors: Christoph Sendner, Ruisi Zhang, Alexander Hefter, Alexandra Dmitrienko, Farinaz Koushanfar | Published: 2023-07-17 コード変更分析スマートコントラクト制御依存性順序付け 2023.07.17 2025.04.03 文献データベース
