雅克斯塔布 swMATH编号： 25254 软件作者： Johannes Kinder，Helmut Veith 描述： Jakstab是一个基于抽象解释的集成拆卸和静态分析框架，用于设计对可执行文件的分析并恢复可靠的控制流图。它被设计成使用定制的指令解码和处理器规格来适应多种硬件平台。它是用Java编写的，在其当前状态下支持x86处理器和32位Windows PE或Linux ELF可执行文件。Jakstab在不断增长的控制流图上执行数据流分析时，会动态地将机器代码转换为低级中间语言。数据流信息用于解析分支目标和发现新的代码位置。其他分析可以在Jakstab中实现，与主控制流重建一起运行，以提高反汇编的精度，也可以对生成的预处理控制流图进行处理 主页： 网址：http://www.jakstab.org/ 相关软件： github;卫星抗体;焊接工艺数据系统++;SLAM公司;LTL2BA公司;吉德拉;BAP（BAP）;布吉;AProVE公司;CEGAR公司;终极Kojak;MU-CSeq公司;共生2;C外国人;弗兰肯比特;懒惰的CSeq;ASTREE公司;猎户座;螺纹加工工;CBMC公司 引用于： 7文件 全部的 前5名18位作者引用 3 泰瑟·图利 2 叶欣 1 塞巴斯蒂安·巴丁 1 德克·拜尔 1 丹尼尔·迪特施 1 苏米特·古尔瓦尼 1 菲利普·赫尔曼 1 约翰内斯·金德 1 埃里克·科斯金 1 德米特里·克拉夫琴科 1 Le，Ton Chanh先生 1 刘远东赛勒斯 1 庞成斌 1 Adrien Pommellet，阿德里安 1 乔治·波托卡利迪斯 1 戴维·施密特（David A.Schmidt）。 1 弗兰克·维德琳 1 徐军 2篇连载文章中引用 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 在2个字段中引用 7 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文