GitHub repository: kestreltechnology/ktadvance
Primary language: C++
Description: KT Advance Memory Safety Analyzer for C