BriefGPT.xyz
Jul, 2022
使用图神经网络实现程序终止
Using Graph Neural Networks for Program Termination
HTML
PDF
Yoav Alon, Cristina David
TL;DR
本文提出一种使用图卷积神经网络和图注意力网络进行程序终止性分析的方法,并结合语义分割定位AST节点进行非终止原因的估计和调试。
Abstract
termination analyses
investigate the termination behavior of programs, intending to detect nontermination, which is known to cause a variety of
program bugs
(e.g. hanging programs, denial-of-service vulnerabiliti
→