foxdec-0.1.0.0: Formaly Verified x86-64 Decompilation

foxdec-0.1.0.0: Formaly Verified x86-64 Decompilation

This package contains tools for decompilation based on formal methods.

Modules