I don’t know. Technically, you can clean-room reverse engineer a GPL binary and your resulting code doesn’t have to be GPL. But you could also just build the open source repo and do that. So I don’t know