GitHub repository: lokegustafsson/thesis-decompilation
Primary language: Nix
Created: 2023-01-15T23:31:12Z
Description: Bachelor thesis, attempting decompilation using symbolic execution