ShellCheck is an open source static analysis tool that automatically finds bugs in your shell scripts.

“I started with very low expectations as most commercial tools only find things cppcheck will find, too. But coverity-scan actually found what brought down the performance of my program the most and a few handful of… · coverity, scan, find, code, very

A tool to detect bugs in Java and C/C++/Objective-C code before it ships

The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. The analyzer is 100% open source and is part of the Clang project. Like the rest of Clang, the analyzer is… · clang, analyzer, static, source, package

TrustInSoft’s advanced exhaustive static analysis tools and services help secure C/C++/ Rust code. Mathematically prove software safety and cybersecurity with this source code analyzer.

The modern website for C++ language to improve its accessibility.

This wiki is about Cppcheck development If you want a Trac account to report issues in this issue tracker, you need to create a htpasswd hash and send that to Daniel Marjamäki… · cppcheck, create, htpasswd, debug, trac

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of International Static… · papers, static, analysis, program, sas

Find static code analysis tools and linters for Java, JavaScript, PHP, Python, Ruby, C/C++, C#, Go, Swift, and more. All tools and linters are peer-reviewed by fellow developers to select the best tools available. Avoid bugs in production, outages on weekends, and angry customers.

The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast simulator efficiently handles untimed and timed nets. Full and partial state spaces can be… · cpn, tools, tool, features, state

Cppcheck is an analysis tool for C/C++ code. It detects the types of bugs that the compilers normally fail to detect. The goal is no false positives.

CPAchecker: A Software Verification Tool for Configurable Program Analyses

Improve your C and C++ code quality with CppDepend, the leading static analysis and code quality tool. Try it now and experience cleaner, more maintainable code!

OCLint, A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C

Staticcheck is a state of the art linter for the Go programming language. Using static analysis, it finds bugs and performance …

Staticcheck is a state of the art linter for the Go programming language. Using static analysis, it finds bugs and performance …

PC-lint Plus is a static analysis tool that finds defects in software by analyzing the C and C++ source code.

A repository of modern and idiomatic C++ code patterns curated by the community.

PC-lint Plus is a static analysis tool that finds defects in software by analyzing the C and C++ source code.

An open-source tool to help you easily create best-in-class software documentation for your projects

Posted onJune 2, 2022June 2, 2022Leave a comment A large C++ codebase meets a new linker: The good, the bad and the performance improvements … Read More CategoriesCompilers, Linkers, Toolchain… · large, linker, build, posted, read

Detect and understand the most subtle undefined behaviors in your C and C++ projects hosted on GitHub. Continuously analyze commits without noise – each problem found is a real bug. TrustInSoft CI is a free online… · trustinsoft, detect, analyze, code, analyzer

FPChecker is a dynamic analysis tool to detect floating-point errors in HPC applications; it helps developers gain a better picture of what’s happening in terms of floating-point arithmetic in their applications. It is… · exponent, precision, fpchecker, floating, point

Compiler Explorer is an interactive online compiler which shows the assembly output of compiled C++, Rust, Go (and many more) code.

Static and dynamic analysis service OpenScanHub is a service for static and dynamic analysis. By default it uses Cppcheck, ShellCheck, the static analyzers embedded in GCC, find-unicode-control, and Clippy. Other tools… · static, dynamic, analysis, service, openscanhub

C++ reference C++11, C++14, C++17, C++20, C++23, C++26 │ Compiler support C++11, C++14, C++17, C++20, C++23, C++26 Preprocessor − Comments ASCII chart Basic concepts Keywords Names (lookup) Types (fundamental types) The… · support, basic, types, expressions, while

C++ reference C++11, C++14, C++17, C++20, C++23, C++26 │ Compiler support C++11, C++14, C++17, C++20, C++23, C++26 Preprocessor − Comments ASCII chart Basic concepts Keywords Names (lookup) Types (fundamental types) The… · support, basic, types, expressions, while

Clang Power Tools is a free Visual Studio extension helping C++ developers modernize and transform their code to C++14/17/20 standards by using LLVM static analyzer and CppCoreGuidelines

C++ reference C++11, C++14, C++17, C++20, C++23, C++26 │ Compiler support C++11, C++14, C++17, C++20, C++23, C++26 Preprocessor − Comments ASCII chart Basic concepts Keywords Names (lookup) Types (fundamental types) The… · support, basic, types, expressions, while

Serwis programistyczny poświęcony programowaniu w C++.

cIFrex is a web application helping to search for mistakes in the analysis of the source code. Free static code analysis tool ready for automation

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

Static Analyzer for C Source Code Supporting various kinds of vulnerabilities such as integer overflow, buffer overflow and null pointer dereferences.1 Supporting fine-grained adjustment on precision-efficiency trade-off… · source, supporting, various, overflow, overall

Near-Real-Time forensic analysis- we automated tasks traditionally performed by cyber analysts. CP platform is radically different. We change the resiliency, scalability, and paradigm of IT, SOC, and vulnerability teams… · cyber, response, code, predict, solution

Fuzzcheck is a crate to easily find bugs in Rust code. Given a test function: You can use fuzzcheck to find a value x: SomeType that causes test_always_true(x) to return false or crash 💥. Technically, it is called an… · fuzzcheck, test, find, bugs, code

C++ Russia 2026 — конференция для CPP-разработчиков. Несколько десятков технических докладов о современном C++, инструментах, многопоточности и многом другом.

C++ Russia 2026 — конференция для CPP-разработчиков. Несколько десятков технических докладов о современном C++, инструментах, многопоточности и многом другом.

A repository of modern and idiomatic C++ code patterns curated by the community.

C++ reference C++11, C++14, C++17, C++20, C++23, C++26 │ Compiler support C++11, C++14, C++17, C++20, C++23, C++26 Preprocessor − Comments ASCII chart Basic concepts Keywords Names (lookup) Types (fundamental types) The… · support, basic, types, expressions, while

Compiler Explorer is an interactive online compiler which shows the assembly output of compiled C++, Rust, Go (and many more) code.

Detect and understand the most subtle undefined behaviors in your C and C++ projects hosted on GitHub. Continuously analyze commits without noise – each problem found is a real bug. TrustInSoft CI is a free online… · trustinsoft, detect, analyze, code, analyzer

A set of silicon-vendor agnostic developer tools targeted at supercomputer scale performance and portability HPE Cray Programming Environment (CPE) suite offers programmers comprehensive tools for developing, porting… · programming, hpe, environment, release, tools

PC-lint Plus is a static analysis tool that finds defects in software by analyzing the C and C++ source code.