GitHub repository: steakhal/csa-testbench
Primary language: Python
Description: Toolset to do differential testing on the Clang Static Analyzer