FoxDec

État du projet: Inconnu

Formally verified x86-64 decompilation

Logiciel ou matériel étudié: Unknown
Type de travail: Reconstruction du code source
Dépôt public principal: github.com/ssrg-vt/foxdec

Les projets sont classés selon le dernier nombre d’étoiles relevé sur leur dépôt. Les étoiles reflètent l’intérêt, pas l’avancement. Les valeurs manquantes restent inconnues.

Présentation et périmètre

Formally verified x86-64 decompilation

Accueil des contributions

Règles de contribution inconnues

Règles sur les contributions assistées par IA: Non précisé

Systèmes documentés pour contribuer

Configuration pour contribuer non documentée

Avancement communiqué

Avancement non communiqué

Code source, compilations et versions

Ouvrir le dépôt · github.comgithub.com/ssrg-vt/foxdec