BAP: A Binary Analysis Platform 论文

2011Lecture notes in computer science引用 421

Software Testing and Debugging TechniquesAdvanced Malware Detection TechniquesFormal Methods in Verification

Formal Methods in Verification Software Testing and Debugging Techniques Advanced Malware Detection Techniques

相关技术:Advanced Malware Detection Techniques Formal Methods in Verification

BAP: A Binary Analysis Platform · 作者

Edward J. Schwartz

Thanassis Avgerinos

Ivan Jager

David Brumley