sparse-llvm
semantic parser of source files
Install
- All systems
-
curl cmd.cat/sparse-llvm.sh
- Debian
-
apt-get install sparse - Ubuntu
-
apt-get install sparse -
Alpine
-
apk add sparse - Kali Linux
-
apt-get install sparse - Fedora
-
dnf install sparse - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install sparse - OS X
-
brew install sparse - Raspbian
-
apt-get install sparse - Docker
-
docker run cmd.cat/sparse-llvm sparse-llvmpowered 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.