/static-analysis/prelab/

• ../
• .gitignore
• HINTS
• Makefile
• README
• main.c
• test_inputs