48 tools found
File integrity checker that leaves virtually no sediment. Controller runs from another machine, which makes it hard for an attacker to know that the file system is being checked at defined pseudo random intervals over SSH. Highly recommended for small to medium deployments.
A spell-checker that groups possible misspellings and shows them in their contexts.
Static checker for GitHub Actions workflow files. Provides an online version.
Helps you catch problems in your HTML/CSS/SVG
SonarQube for IDE (formerly SonarLint) is a free IDE extension available for IntelliJ, VS Code, Visual Studio, and Eclipse, to find and fix coding issues in real-time, flagging issues as you code, just like a spell-checker. More than a linter, it also delivers rich contextual guidance to help developers understand why there is an issue, assess the risk, and educate them on how to fix it.
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance. Ezno's type checker is built from scratch. The checker is fully compatible with TypeScript type annotations and can work without any type annotations at all.
A defect database and viewer extension for the Clang Static Analyzer with web GUI.
A fast, powerful type checker designed for Ruby.
An extremely fast Python type checker written in Rust.
A fast, incremental type checker and language server for Python, providing IDE features like code navigation, semantic highlighting, and code completion.
Looks for programming errors, helps enforcing a coding standard and sniffs for some code smells. It additionally includes `pyreverse` (an UML diagram generator) and `symilar` (a similarities checker).
A static type checker that aims to combine the benefits of duck typing and static typing, frequently used with [MonkeyType](https://github.com/Instagram/MonkeyType).
Liquid Haskell is a refinement type checker for Haskell programs.
Annotation-assisted static program checker.
A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.
Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.
Pluggable type systems. Includes nullness types, physical units, immutability types and more. (GPL-2.0-only WITH Classpath-exception-2.0)
Dependency health checker for pom.xml and Gradle projects that scans for CVEs and outdated packages.
A static type checker for JavaScript with a bias on type inference an strong type system.
A static type checker for JavaScript from Facebook.
