GitHub repository: statycc/pymwp
Primary language: Python
Description: A static analyzer of variable value growth for C programs.