Bug Detection
Showing 22 of 22 projects
A static type checker for Python that enforces type hints to catch bugs before runtime.
A static analyzer for Java, C, C++, and Objective-C that detects bugs and performance issues.
A static analysis tool for PHP that discovers bugs in your code without running it.
A static analysis tool for Java that catches common programming mistakes at compile-time.
A state-of-the-art static analysis linter for Go that finds bugs, performance issues, and enforces style rules.
A state-of-the-art static analysis linter for Go that finds bugs, performance issues, and enforces style rules.
A static analysis tool for detecting bugs and undefined behavior in C and C++ code.
A static analysis tool for finding errors and security vulnerabilities in PHP applications.
A coverage-guided fuzzing solution for testing Go packages, especially those parsing complex or untrusted inputs.
A static analysis tool for finding bugs in Java code, succeeding the FindBugs project.
A static source code analysis tool for improving quality and reducing defects in C, C++ and Objective-C code.
A highly extensible Go source code linter providing opinionated checks for bugs, performance, and style issues.
A static analyzer for Java that detects code quality issues, security vulnerabilities, and bugs with over 600 rules.
A pluggable type-checking framework for Java that detects and prevents bugs through custom type qualifiers.
A Clojure linter that uses tools.analyzer for accurate bug detection, focusing on CI environments.
A static code analyzer for Julia that uses type inference to detect potential bugs and type instabilities without requiring type annotations.
A static analysis library for Clojure that catches clojure.spec conform errors at compile time.
A static analysis tool for Rust that detects concurrency bugs, memory bugs, and panic locations.
A Scala compiler plugin for static code analysis that detects bugs, non-idiomatic code, and style violations.
A static analysis engine for PHP that detects type mismatches in function arguments, return values, and method calls.
An extensible static analysis platform for Rust that detects memory safety bugs and performs advanced program analysis beyond rustc.
A differential fuzz testing approach for CPU verification that uses register-coverage to find bugs in RTL designs.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.