The researchers put the tools they used and decompiled code on-line: https://github.com/takeshixx/redstar-tools