GitHub repository: EnSoftCorp/c-toolbox-commons
Primary language: Java
Description: A collection of analysis utilities for analyzing C programs