This is a disassembler and symbolic executor for the fsvm challenge from openECSC 2024.
Read the accompanying blog post.
To run both the disassembler and symbolic executor run
python3 src/main.py
This will create disassembly.txt and pseudocode.c files in the output directory.