Mossberg, M., Manzano, F., Hennenfent, E., Groce, A., Greico, G., Feist, J., Brunson, T., & Dinaburg, A. (2019). Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts [Computer software]. https://doi.org/10.1109/ASE.2019.00133