doc icon indicating copy to clipboard operation
doc copied to clipboard
verified publisher icon decomp

review: BAP: A binary analysis platform

Open mewmew opened this issue 6 years ago • 0 comments

D. Brumley, I. Jager, T. Avgerinos, and E. J. Schwartz, Bap: A binary analysis platform, in International Conference on Computer Aided Verification, pp. 463–469, Springer, 2011.

https://link.springer.com/content/pdf/10.1007/978-3-642-22110-1_37.pdf

mewmew avatar Sep 10 '19 08:09 mewmew