GitHub repository: txiang61-benchmarks/daikon
Primary language: C
Description: Dynamic detection of likely invariants