雅克斯塔布

Jakstab是一个基于抽象解释的、集成的反汇编和静态分析框架,用于设计可执行文件的分析和恢复可靠的控制流图。它的设计是为了适应多种硬件平台使用定制的指令解码和处理器规格。它是用Java编写的,在其当前状态下支持x86处理器和32位windowspe或Linux ELF可执行文件。Jakstab在不断增长的控制流图上执行数据流分析时,会动态地将机器代码转换为低级中间语言。数据流信息用于解析分支目标和发现新的代码位置。其他分析可以在Jakstab中实现,与主控制流重构一起运行,以提高反汇编的精度,也可以对得到的预处理控制流图进行处理

zbMATH参考文献(参考 4篇文章 参考)

显示第1到第4个结果,共4个。
按年份排序(引用)

  1. Beyer,Dirk;Gulwani,Sumit;Schmidt,David A.:结合模型检查和数据流分析(2018)
  2. Kinder,Johannes;Kravchenko,Dmitry:交替控制流重建(2012)
  3. Bardin,Sébastien;Herrmann,Philippe;Védrine,Franck:从非结构化程序中基于精化的CFG重构(2011)
  4. Johannes的Kinder;Helmut的Veith:Jakstab:二进制文件的静态分析平台。工具书(2008)ioport公司