Sparse, a semantic parser & static analysis tool for C [upstream: kernel.org]
Primary LanguageCOtherNOASSERTION