static analysis of C/C++ code
- cppcheck
- c-plus-plus
- static-analysis
- cross-platform
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
A tool for use with clang to analyze #includes in C and C++ source files
A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
eBPF verifier based on abstract interpretation
- abstract-interpretation
- static-analyzer
- ebpf
- ebpf-verifier
A cross-platform Vulkan layer which checks Vulkan applications for best practices on Arm Mali devices.