GitHub repository: tomgu1991/VBSAC
Primary language: LLVM
Created: 2019-04-26T03:01:07Z
Description: a value-based static analyzer for c code bug detection