As to the first bullet point, using extract-vmlinux in a directory containing vmlinux (after chmod +x ./extract-vmlinux) with ./extract-vmlinux vmlinuz returns tr: Illegal byte sequence extract-vmlinux: Cannot find vmlinux. I tried to get clever and renamed vmlinuz to vmlinux and entered using ./extract-vmlinux vmlinux but no luck.

Thanks for the reply! Following the instructions at the GUI Linux VM guide, I get an error at the 'Run and Build' step. GUILinuxVirtualMachineSampleApp/AppDelegate.swift:99: Fatal error: Failed to retrieve the machine identifier data. There was no prompt to choose an ISO.

ah, i see i use: leaks -outputGraph=<file> -atExit -- ./a.out and then heap <file>.memgraph