joern.io. (2024). Joern: The Bug Hunter's Workbench (Version 2.0) [Computer software]. https://github.com/joernio/joern