A graph indicating program control flow Can be generated using LLVM dot