A static analyzer for Java, C, C++, and Objective-C
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Copy/paste detector for source code. 220+ languages, Rust engine, SARIF/HTML/badge reporters, GitHub Action, MCP server for AI agents.
- copy-paste
- duplicates
- cpd
- code-quality
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
- code-property-graph
- compiler-theory
- program-analysis
- robdd
C Intermediate Language
The Exakat Engine : smart static analysis for PHP
- php
- php7
- gremlin
- neo4j
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Lua code analysis, with plugins for HTML and SciTE
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action