-
作者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/
-
提示本站仅做资料的整理和索引,转载引用请注明出处
相关推荐
-
2016-04-27 07:17:55
-
2017-03-03 14:45:13
-
2016-03-15 03:01:18
-
2016-03-15 02:55:46