Feist, J., Grieco, G., & Groce, A. (2023). Slither Analyzer (Version 0.9.5) [Computer software]. https://github.com/crytic/slither