-
作者GoSSIP @ LoCCS.Shanghai Jiao Tong University
-
简介
发表在顶会S&P'15上的论文Cross-Architecture Bug Search in Binary Executables。本文提出一个在跨架构前提下的指定Bug代码搜索方法，通过生成符号表达式和基本块签名的方式，解决了之前使用约束求解器求解导致的效率问题。
问题限定在Bug Search，就是说，我们已知有一个bug，一个可能使用了该Bug代码的另一个架构的binary钟是否也有相同的Bug
- 问题范围缩小，不再是多对多的二进制代码(匹配,识别),对速度的要求降低
- 因为是我们已知Bug，所以需要寻找的目标代码的模式（签名）是允许半手工生成的
-
援引http://www.securitygossip.com/blog/2016/01/06/2016-01-06/
-
提示本站仅做资料的整理和索引,转载引用请注明出处
相关推荐
-
2017-03-03 14:45:13 -
2016-03-15 03:01:18 -
2016-04-27 07:17:55 -
2016-03-15 03:07:01
