Psyche-c is a compiler for incomplete C code. It features a Hindley/Milner-inspired type inference engine for C. You can try it online here.
- Cmake
- C++14 compiler
- Haskell Stack
- Python
cmake CMakeLists.txt
make
cd solver
stack setup
stack build
cd ..
python Reconstruct.py path/to/file.c
This is a research project. While we strive to keep the code clean and to make the tool easily accessible, this is an academic effort. Neverless, feel free to provide feedback or to report bugs.