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:
- Mock C functions using the preprocessor☆32Updated 5 years ago
- ☆61Updated 9 years ago
- Speedier handling of clang-tidy checking☆69Updated 6 years ago
- C++ and Java automated analysis, class, component and sequence UML diagramming IDE tool, test coverage, complexity, duplicate code, analy…☆154Updated 3 years ago
- Boost.org optional module☆60Updated 2 months ago
- Add clang-tidy checks to a target using CMake☆16Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆65Updated 5 years ago
- CMake module for code coverage☆93Updated last month
- C++ front-end package manager for embedding and redistributing with native applications☆85Updated 8 years ago
- C++ Unit Test Reporting☆32Updated last year
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Variadic templates and std::integer_sequence support library☆111Updated 4 months ago
- A C++ smart-pointer with value-semantics 💎☆131Updated 5 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
- ☆198Updated 6 months ago
- Visualization tool for Templight C++ template debugger traces☆90Updated 6 years ago
- A tool to monitor and build new versions of a software library☆28Updated 3 years ago
- A never-valueless, strong guarantee implementation of std::variant☆69Updated 2 months ago
- Standardise code formating for cmake projects with git and clang-format☆58Updated 7 years ago
- A tool to visualize ABI changes timeline of a C/C++ software library☆198Updated 3 years ago
- ☆43Updated 2 years ago
- Customizable Naming Convention Checker - uses Clang, developed with C++ in mind☆127Updated 9 years ago
- C++ generic make factory☆108Updated 6 years ago
- Benchmark comparing various data serialization libraries (thrift, protobuf etc.) for C++☆35Updated 8 years ago
- Check for coding style issues in CMake files☆102Updated 6 years ago
- Simple mocking for C++☆78Updated 3 years ago
- Library for comfortable work with DLL and DSO☆109Updated this week
- A tool for representing and concatenating strings without heap memory☆63Updated 4 years ago
- JSON/CBOR streaming library, without using memory, like a GoldFish☆70Updated 8 years ago
- CMake, the cross-platform, open-source build system.☆36Updated 8 years ago