Control Dependency Ordering

Fast, Fine-Grained Equivalence Checking for Neural Decompilers

Authors: Luke Dramko, Claire Le Goues, Edward J. Schwartz | Published: 2025-01-08
Program Analysis
Control Dependency Ordering
Equivalence Evaluation
2025.01.08 2025.05.27
Literature Database

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
Code Change Analysis
Smart Contract
Control Dependency Ordering
2023.07.17 2025.05.28
Literature Database