cgcc
semantic parser of source files
Install
- All systems
-
curl cmd.cat/cgcc.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 update
sudo apt-get install sparse
- OS X
-
brew install sparse
- Raspbian
-
apt-get install sparse
- Dockerfile
- dockerfile.run/cgcc
- Docker
-
docker run cmd.cat/cgcc cgcc
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.