Using Binary Analysis Frameworks: The Case for BAP and angr casinghino-2019-usingNFM · 2019