其他话题

接下来说说静态分析的其他相关内容：

  • 从理论的Soundness到实践的Soundiness。
  • 另外一种静态分析框架——IFDS。