A multi-architecture decompiler based on an SSA-form IR