动态程序分析相关硕士博士期刊学术论文

传统的动态程序分析需探索程序运行的所有可能路径。然而,实际的程序通常有大量甚至无限多的路径。由于不能完全探索所有路径,对程......