viva64 / pvs-studio-check-listLinks
Offer an interesting project for PVS-Studio analysis.
☆29Updated 2 years ago
Alternatives and similar repositories for pvs-studio-check-list
Users that are interested in pvs-studio-check-list are comparing it to the libraries listed below
Sorting:
- How to use PVS-Studio for Free?☆162Updated last month
- Positive Technologies public docs (English & Russian)☆55Updated 4 years ago
- A programmable tool for verification, analysis and transformation of C++ source code☆97Updated 3 years ago
- Git Autocomplete is a Far Manager plugin☆28Updated 8 years ago
- CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java☆586Updated this week
- Front-end C++ compiler☆49Updated 2 years ago
- Secure Coding Validation Suite☆70Updated 13 years ago
- An automatic generator of basic unit tests for a C/C++ library☆87Updated 6 years ago
- Duplicates finder for various source code formats.☆117Updated last week
- Combining Unit Tests, Fuzzing, and AI☆302Updated 7 years ago
- C++ Unit Test Reporting☆32Updated last year
- An engine for searching patterns in the source code, based on Unified AST or UST. At present time C#, Java, PHP, PL/SQL, T-SQL, MySql, a…☆60Updated 5 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- Beautiful Capi is a tool which automates the creation of compiler-independent and binary compatible C++ libraries across different C++ co…☆36Updated 3 years ago
- SObjectizer: it's all about in-process message dispatching!☆88Updated 5 years ago
- ☆85Updated 9 years ago
- ☆38Updated 5 years ago
- CxxTest Unit Testing Framework☆173Updated 2 years ago
- Dump ABI of an ELF object containing DWARF debug info☆200Updated last year
- C/C++ Dependency Analyzer: a rewrite of John Lakos' dep_utils (adep/cdep/ldep) from "Large-Scale C++ Software Design"☆147Updated 4 years ago
- ☆54Updated 9 years ago
- CASE and metaCASE system☆68Updated 5 years ago
- A simple C++ Telegram Channels Post helper bot☆16Updated 6 years ago
- Universal adapter to transform class methods☆15Updated 8 years ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- static analysis benchmarks from Toyota ITC☆120Updated 2 years ago
- Dear user: This is a git mirror of our Mercurial repository in https://bokken.inguma.eu that you can use if you prefer to use pull reque…☆118Updated 8 years ago
- Compile Time Turing Machine☆16Updated 9 years ago
- The Tlön programming language.☆45Updated 3 years ago
- ☆20Updated 9 years ago