Bug Detection
Showing 24 of 24 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.
An extensible static analysis platform for Rust that detects memory safety bugs and performs advanced program analysis beyond rustc.
A static analysis engine for PHP that detects type mismatches in function arguments, return values, and method calls.
A differential fuzz testing approach for CPU verification that uses register-coverage to find bugs in RTL designs.
A generic RISC-V processor fuzzing framework that detects software-triggerable functional bugs using runtime instruction morphing.
A Java static analysis tool that translates Java code into LiSA's IR and runs configurable abstract interpretation analyses for bug detection and verification.
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.