verateam / veraLinks
A programmable tool for verification, analysis and transformation of C++ source code
☆90Updated 2 years ago
Alternatives and similar repositories for vera
Users that are interested in vera are comparing it to the libraries listed below
Sorting:
- C++ and Java automated analysis, class, component and sequence UML diagramming IDE tool, test coverage, complexity, duplicate code, analy…☆154Updated 2 years ago
- Speedier handling of clang-tidy checking☆69Updated 6 years ago
- This is an Eclipse plugin that shows C/C++ static analysis results found by Clang Static Analyzer and Clang Tidy☆32Updated 5 years ago
- LibFindMacros development repository and other cool CMake stuff☆45Updated 2 years ago
- A lightweight unit testing framework for C++☆57Updated last year
- Mock C functions using the preprocessor☆32Updated 5 years ago
- Python module to reduce a cmake file to an AST☆32Updated 3 years ago
- Boost.Process is a library to manage system processes☆32Updated 8 years ago
- An automatic generator of basic unit tests for a C/C++ library☆85Updated 5 years ago
- ☆62Updated 9 years ago
- C++ unit testing and mocking made easy☆55Updated 6 years ago
- Visualization tool for Templight C++ template debugger traces☆90Updated 6 years ago
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆45Updated 7 years ago
- A never-valueless, strong guarantee implementation of std::variant☆69Updated last month
- A tool to visualize ABI changes timeline of a C/C++ software library☆198Updated 3 years ago
- Standardise code formating for cmake projects with git and clang-format☆58Updated 7 years ago
- Replaced by foonathan/lexy☆138Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆65Updated 5 years ago
- Add clang-tidy checks to a target using CMake☆16Updated 9 years ago
- JSON/CBOR streaming library, without using memory, like a GoldFish☆70Updated 8 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.☆208Updated 2 years ago
- Documentation generator using annotated sources for multiple computer languages☆157Updated 2 months ago
- C++ front-end package manager for embedding and redistributing with native applications☆85Updated 8 years ago
- CMake, the cross-platform, open-source build system.☆36Updated 8 years ago
- Get dependencies with cmake☆63Updated 6 years ago
- Simple mocking for C++☆78Updated 3 years ago
- MSGUI - Metashell GUI☆68Updated 6 years ago
- A comparison of different options to implement binary flags in C++17☆17Updated 7 years ago
- Python module for parsing CMakeLists.txt files☆33Updated 2 years ago