这是一篇投稿 2020 的 ICLR 被拒的论文，但是其已经写的足够好了，毕竟作者还是来自 meta AI 团队以及苏黎世理工、爱丁堡大学的作者。

实验部分

DeepDataDlow 数据集

数据集的五个实验：
image-20250319160716242.webp

  • 可达性：判断每个节点是否可达
  • 支配关系：让模型分析支配关系
  • 数据依赖：让模型分析数据依赖性
  • 活跃性分析
  • 子表达式

模型对比实验

  • 作者和以下两个模型比较：
    • 线性模型：inst2vec（LSTM）
    • 图模型：CDFG
评估策略

使用自己的 DDF 数据集。

词汇覆盖率

image-20250319171010741.webp

DDF-30

意思是在可以用传统分析方法在 ≤ 30 步内求解的数据集的子集。
image-20250319171130637.webp
这一块总结了上面五个评估策略在三个模型上的效果。
这张图里也有 DDF-60 的结果和 DDF 无限的结果

参考资料

[1]
OpenReview