我最近读了一篇题为"All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)"的文章Dr. EJ Schwartz。在论文中,他主要讨论了它们在二进制安全环境中的应用。 我很好奇动态污点分析和正向符号执行之间的
我正在执行一些可执行文件及其相关共享库的一些简单的检测任务,记录主文件中的所有执行指令以及共享库。 然而,Pin总是抛出 Pin is out of memory: MmapChecked
在仪器仪表。由于我在32位系统上工作,每次达到3G内存消耗时,检测过程都会崩溃。 我想在这个32位系统上工作,因为这个平台上有很多共享库。另一方面,因为实际上我只对一个共享库感兴趣,所以我想找到一种方法来只