ruDevolution

About

First decompiler that understands code semantically — recovers original names with AI, proves every transformation with cryptographic witness chains.