sparse-llvm

semantic parser of source files

Install

All systems
curl cmd.cat/sparse-llvm.sh
Debian Debian
apt-get install sparse
Ubuntu
apt-get install sparse
Alpine
apk add sparse
image/svg+xml Kali Linux
apt-get install sparse
Fedora
dnf install sparse
Windows (WSL2)
sudo apt-get update sudo apt-get install sparse
OS X
brew install sparse
Raspbian
apt-get install sparse
Dockerfile
dockerfile.run/sparse-llvm
Docker
docker run cmd.cat/sparse-llvm sparse-llvm powered by Commando

sparse

semantic parser of source files

Sparse, the semantic parser, provides a compiler frontend capable of parsing most of ANSI C as well as many GCC extensions, and a collection of sample compiler backends, including a static analyzer also called "sparse". Sparse provides a set of annotations designed to convey semantic information about types, such as what address space pointers point to, or what locks a function acquires or releases. Sparse can be invoked directly as "sparse" or via the "cgcc" wrapper around the C compiler.