Extracting Conditional Formulas for Cross-Platform Bug Search
作者： Qian Feng , Minghua Wang , Mu Zhang , Rundong Zhou , Andrew Henderson
关键词:
摘要: … as semantic features for cross-platform binary code search in binaries. Compared to prior work, a … in terms of cross-platform code search, we compare our system with baseline methods. …
acm.org
sci-hub.se 参考文章(38)
David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz, BAP: a binary analysis platform computer aided verification. pp. 463- 469 ,(2011) , 10.1007/978-3-642-22110-1_37
David Brumley, Thanassis Avgerinos, JongHyup Lee, TIE: Principled Reverse Engineering of Types in Binary Programs network and distributed system security symposium. ,(2011) , 10.1184/R1/6469466.V1
Jiang Ming, Meng Pan, Debin Gao, iBinHunt: binary hunting with inter-procedural control flow international conference on information security and cryptology. ,vol. 7839, pp. 92- 109 ,(2012) , 10.1007/978-3-642-37682-5_8
Juan Caballero, Noah M. Johnson, Stephen McCamant, Dawn Song, Binary Code Extraction and Interface Identification for Security Applications network and distributed system security symposium. ,(2009) , 10.21236/ADA538737
Manuel Egele, Peter Chapman, Maverick Woo, David Brumley, Blanket execution: dynamic similarity testing for program binaries and components usenix security symposium. pp. 303- 317 ,(2014)
Alexandre Rebert, David Brumley, Thanassis Avgerinos, Gustavo Grieco, Sang Kil Cha, Jonathan Foote, David Warren, Optimizing seed selection for fuzzing usenix security symposium. pp. 861- 875 ,(2014)
Kaspar Riesen, Michel Neuhaus, Horst Bunke, Bipartite graph matching for computing the edit distance of graphs GbRPR'07 Proceedings of the 6th IAPR-TC-15 international conference on Graph-based representations in pattern recognition. pp. 1- 12 ,(2007) , 10.1007/978-3-540-72903-7_1
Hamdy A. Taha, Integer Programming: Theory, Applications, and Computations ,(2014)
Sang Kil Cha, Maverick Woo, David Brumley, Program-Adaptive Mutational Fuzzing 2015 IEEE Symposium on Security and Privacy. pp. 725- 741 ,(2015) , 10.1109/SP.2015.50
Suvda Myagmar, Shan Lu, Zhenmin Li, Yuanyuan Zhou, CP-Miner: a tool for finding copy-paste and related bugs in operating system code operating systems design and implementation. pp. 20- 20 ,(2004)