This script is based on the open-source code analysis tool Joern (joern.io). After parsing the source code, Joern can generate a control flow graph (CFG) for every function in the program. However, it ...