they use something like our https://github.com/lifting-bits/mcsema to take the binary, create the control flow graph