2567 Open source projects that are alternatives of or similar to Codechecker

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.

☕️ SonarSource Static Analyzer for Java Code Quality and Security

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

Bringing clang-tidy magic to Visual Studio C++ developers.

Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command

C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)

A Simple PE File Heuristics Scanners

SeaHorn Verification Framework

Chronos - A static race detector for the go language

Define and run pattern-based custom linting rules.

Analysis of file (doc, pdf, exe, ...) in deep (emmbedded file(s)) with clamscan and yara rules

Fork of LLVM with modifications to support a program repository

Kubernetes RBAC static Analysis & visualisation tool

Program analysis playground for a simple, imperative language

The Exakat Engine : smart static analysis for PHP

Static code analysis for Kotlin

A community-driven weekly newsletter about Swift.org

PHP Magic Number Detector

Binee: binary emulation environment

Code analyzer for C# and VB.NET projects https://redirect.sonarsource.com/plugins/vbnet.html

Unofficial API for finviz.com

Next-gen phpDoc parser with support for intersection types and generics

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

SonarSource Static Analyzer for JavaScript and TypeScript

Woboq CodeBrowser

Static analysis framework for .NET programs.

自定义检查规范的 Clang 插件

Arch Linux PKGBUILD for LLVM, Clang et al. (latest SVN code)

SonarQube Cucumber Gherkin Analyzer

A simple programming language targeting LLVM

Clang-Format Editor is a tool that helps you find the best Clang-Format Style for your C++, C#, Java, JavaScript, and Objective-C code.

Arch Linux performance important packages

cfmt is a tool to wrap Go comments over a certain length to a new line.

An open format definition for static analysis tools

Clang C/C++ cross compiler and runtime for OpenEmbedded/Yocto Project

Doctrine extensions for PHPStan

🕵️ Haskell STatic ANalyser

Horusec is an open source tool that improves identification of vulnerabilities in your project with just one command.

High-performance automatic differentiation of LLVM.

prealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated.

C IDE for iOS

OPEM (Open Source PEM Fuel Cell Simulation Tool)

This is a database of 180.000+ symbols containing Equities, ETFs, Funds, Indices, Futures, Options, Currencies, Cryptocurrencies and Money Markets.

Vulnerability Patterns Detector for C# and VB.NET

An optimizing decompiler

Static Value-Flow Analysis Framework for Source Code

🐳 📡 Docker way of running SonarQube + any DB

SonarQube Java Properties Analyzer

Useful CMake Examples

STatic (LLVM) Object file Analysis Tool

C to Go Assembly

A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accomplish a complete project for FPGA High-Level Synthesis with it.

Dominator Tree LLVM Pass to Test Satisfiability

zapcc is a caching C++ compiler based on clang, designed to perform faster compilations

Parser and database to index the terpene profile of different strains of Cannabis from online databases

Cross platform IDE and Shell

WebAssembly toolchain

💝 My personal Gentoo/Linux configuration backup files

A LLVM-based static analysis framework.