This project is a static analysis linter, code quality tool, and language auditor for Rust. It functions as an automated refactoring system designed to identify common mistakes and suggest idiomatic improvements for Rust source code. The tool identifies non-idiomatic patterns, performance bottlenecks, and code smells to improve the overall correctness and quality of the code. It specifically audits memory safety by flagging suspicious use of unsafe blocks and pointer manipulations and detects inefficient operations to optimize execution speed. The analysis surface covers coding style enforce
This project is a React ESLint plugin and static analysis tool designed to validate React component syntax and enforce recommended framework patterns. It functions as a JavaScript static analysis utility that scans source code to identify errors and maintain consistent coding standards. The plugin focuses on the enforcement of React best practices and the prevention of common bugs, such as missing keys in iterators and improper prop usage. It provides a system for validating JSX syntax and style to ensure a uniform codebase. The tool covers broader capabilities in frontend code quality autom
Cppcheck is a static analysis tool and linter for C and C++ source code designed to detect programming errors, memory leaks, and security violations without executing the program. It functions as a bug detection engine and quality assurance tool to identify concurrency issues, type cast errors, and compliance with secure coding standards. The project provides a graphical user interface for selecting files and reviewing errors, alongside a linter for enforcing naming conventions and coding standards. It supports the creation of custom analysis rules using regular expressions to identify specif
Flow is a JavaScript static type checker and AST parser that identifies type errors and prevents runtime failures through static annotations. It functions as a code intelligence engine and a static analysis linter to identify unsafe coding patterns and enforce consistency across a codebase. The project includes a type annotation stripper that removes static type signatures from source code, ensuring the resulting JavaScript is compatible with any runtime environment. It also provides a parser that converts typed JavaScript into an abstract syntax tree conforming to the ESTree specification.
Formal verification for OCaml, with Rocq
The main features of formal-land/coq-of-ocaml are: Code Analysis and Linters.
Open-source alternatives to formal-land/coq-of-ocaml include: yannickcr/eslint-plugin-react — This project is a React ESLint plugin and static analysis tool designed to validate React component syntax and enforce… rust-lang/rust-clippy — This project is a static analysis linter, code quality tool, and language auditor for Rust. It functions as an… cppcheck-opensource/cppcheck — Cppcheck is a static analysis tool and linter for C and C++ source code designed to detect programming errors, memory… antique-team/memcad — The MemCAD static analyzer. returntocorp/pfff — pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or… upenn-cis1xx/camelot — A fully-modular OCaml style linter.