@inbook{casinghino-2019-using, title={Using Binary Analysis Frameworks: The Case for BAP and angr}, ISBN={9783030206529}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-20652-9_8}, DOI={10.1007/978-3-030-20652-9_8}, booktitle={NASA Formal Methods}, publisher={Springer International Publishing}, author={Casinghino, Chris and Paasch, J. T. and Roux, Cody and Altidor, John and Dixon, Michael and Jamner, Dustin}, year={2019}, pages={123–129} }