static-analyzer topic
ebpf-verifier
eBPF verifier based on abstract interpretation
GrepBugs
A regex based source code scanner.
opem
OPEM (Open Source PEM Fuel Cell Simulation Tool)
sparrow
The Sparrow Static Analyzer
lockbud
Statically detect Rust deadlocks bugs
miss_hit
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
dockerfile-security
Static security checker for Dockerfiles
groot
Static verification tool for DNS zone files
phpstan-nette
Nette Framework class reflection extension for PHPStan & framework-specific rules
unimport
unimport is a Go static analysis tool to find unnecessary import aliases.