How dooyou tell something is dodgy from the call graph? Don't you have to decipher what FUN_918243 represents, or whatever?
Tools like Ghidra et al. merely lay bare the truth you already know.
https://guix.gnu.org/manual/en/html_node/Invoking-guix-chall...