How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
Mago is a PHP static analysis tool, linter, and code formatter. It detects type errors, dead code, and logic bugs through advanced type inference and flow analysis, while providing a deterministic engine to rewrite source files according to style guides. The project distinguishes itself with a WebAssembly runtime that enables PHP analysis to execute entirely within a web browser, allowing results to be shared via URL. It also provides a minimal Dockerized toolchain distributed as a scratch image for consistent execution across different processor architectures. The toolset covers architectur
Creusot helps you prove your Rust code is correct.
The main features of creusot-rs/creusot are: Static Analysis.
Projects with overlapping indexed features include: carthage-software/mago — Mago is a PHP static analysis tool, linter, and code formatter. It detects type errors, dead code, and logic bugs… cpplint/cpplint — Static code checker for C++. danmar/cppcheck. deptrac/deptrac — Keep your architecture clean. endorlabs/mirai — MIRAI is an abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR). It is intended… carlosas/phpat.
