Using Binary Analysis Frameworks: The Case for BAP and angr

Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner. Using Binary Analysis Frameworks: The Case for BAP and angr. In Julia M. Badger, Kristin Yvonne Rozier, editors, NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Volume 11460 of Lecture Notes in Computer Science, pages 123-129, Springer, 2019. [doi]

Abstract

Abstract is missing.