Micro-C Program Analysis Project Setup pip install requirements.txt Usage python main.py --src-file test/test.uc Resources Micro C in LLVM PLY (Python-Lex Yacc)