2021-1-23 13:50美国加利福尼亚州圣地亚哥，网络和分布式系统研讨会（NDSS 2021）的议事录符号执行是一种用于软件分析和错误检测的强大技术。基于编译的符号执行是最近提出的一种形式，它已经显示出可以在源代码可用时显着提高符号执行的性能。我们展示了一种新颖的技术，可实现基于编译的二进制符号执行（即无需源代码）。我们的系统SymQEMU......
2021-1-20 20:1美国加利福尼亚州圣地亚哥，网络和分布式系统研讨会（NDSS 2021）的议事录符号执行是一种用于软件分析和错误检测的强大技术。基于编译的符号执行是最近提出的一种形式，它已经显示出可以在源代码可用时显着提高符号执行的性能。我们展示了一种新颖的技术，可实现基于编译的二进制符号执行（即无需源代码）。我们的系统SymQEMU......