渗透

OSMOSE:可执行文件的自动结构测试。验证通常在软件的高级视图上执行,无论是规范还是程序源代码。然而,在某些情况下,当在机器代码级别执行验证时,验证更具相关性。本文主要研究从一个独立的可执行文件自动生成测试数据。低级分析比高级分析困难得多,因为即使控制流图也不可用,位级指令也必须忠实地建模。本文展示了如何利用最新技术和创新技术,将基于路径的结构测试数据生成从结构化语言转换为机器代码。这些结果已经在一个名为OSMOSE的工具上实现,并进行了令人鼓舞的实验。

此软件的关键字

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


zbMATH中的参考文献,1标准件)

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

  1. Chihani,Zakaria;Marre,Bruno;Bobot,François;Bardin,Sébastien:位向量理论的约束编程方法(2017)
  2. Kirchner,Florent;Kosmatov,Nikolai;Prevosto,Virgile;Signoles,Julien;Yakobowski,Boris:Frama-C:软件分析视角(2015)ioport公司
  3. Brauer,Jörg;King,Andy:无量词消除的传递函数合成(2012)
  4. Bardin,Sébastien;Herrmann,Philippe:OSMOSE:可执行文件的自动结构测试(2011)ioport公司
  5. Bardin,Sébastien;Herrmann,Philippe;Védrine,Franck:从非结构化程序中基于精化的CFG重构(2011)