A static analyzer for Java, C, C++, and Objective-C
Repository Index
61,772 visible repositories in the index
1–8 of 8 · Most stars
An advanced, unified platform for code quality, architectural metrics, and Agile analytics. Features Python AST parsing, Java static analysis (code smells), and interactive project health dashboards built with Streamlit.
- agile
- code-analysis
- dashboard
- data-visualization
KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.
- static-analysis
- yaml-files
- helm-charts
- kubernetes
C Intermediate Language
A tool to stop JVM architecture drift before it reaches main. Configurable through yaml; no architecture test code.
- architecture-testing
- code-quality
- dependency-analysis
- github-actions
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
The MemCAD static analyzer
- abstract-interpretation
- static-analysis
- c
- shape-analysis