巴普

BAP:一个二进制分析平台。BAP是一个公共可用的基础设施,用于对二进制(即可执行的)代码执行程序验证和分析任务。在本文中,我们描述了BAP以及从以前的二进制分析平台中吸取的经验教训。BAP在中间语言(IL)中显式地表示指令的所有副作用,使得语法定向分析成为可能。我们使用BAP来常规地生成和解决验证条件,这些条件的大小为数百兆字节,包含100000条汇编指令。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献7条)

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

  1. 谭刚;Morrisett,Greg:机器码解码和编码的双向语法(2018)
  2. 帕达利安,V。;盖特曼,A。;索洛维耶夫,M。;巴库林,M。;博兹洛夫,A。;考山,V。;莱多夫斯基,I。;马金,余。;Panasenko,S.:支持组合二进制代码分析的方法和软件工具(2014)ioport公司
  3. Romano,Anthony:带整数代码的实用浮点测试(2014)ioport公司
  4. 布劳尔,约格;国王,安迪;Kowalewski,Stefan:微控制器代码的抽象解释:间隔满足一致性(2013)
  5. 布劳尔,约格;King,Andy:无量词消除的传递函数合成(2012)
  6. 宋、赋;Touili,Tayssir:用于恶意软件检测的下推模型检查(2012)
  7. 布鲁姆利,大卫;贾格,伊万;阿夫吉里诺斯,塔纳西斯;Schwartz,Edward J.:BAP:二进制分析平台(2011)ioport公司