通用源代码的神经符号执行
人工智能
2023-08-08 v2 机器学习
摘要
由按源代码组合的神经网络能否逐语句执行Python程序?我们形式化神经符号执行问题并引入神经解释(Neural Interpretation, NI),这是首个允许缺失定义的通用源代码执行的神经模型。NI保留源代码结构,其中每个变量具有向量编码,每个函数执行一个神经网络。NI是一种具有编译器架构的计算机新型神经模型,能够组装由源代码“编程”的神经层。NI是首个能够执行Py150数据集程序(包括无具体输入的库函数)的神经模型,并且它可用灵活的代码理解目标训练。我们展示了无具体输入的白盒执行,用于变量误用定位与修复。
引用
@article{arxiv.2304.00989,
title = {Neuro-Symbolic Execution of Generic Source Code},
author = {Yaojie Hu and Jin Tian},
journal= {arXiv preprint arXiv:2304.00989},
year = {2023}
}