这是一篇投稿 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