yabberyabber / funqualLinks
User defined static call-tree constraints in C++. This is the implementation of the tool for my masters thesis.
☆14Updated 7 years ago
Alternatives and similar repositories for funqual
Users that are interested in funqual are comparing it to the libraries listed below
Sorting:
- Tool for providing static analysis of items in Clang's compilation database.☆12Updated 4 years ago
- A cache for clang-tidy☆36Updated 2 years ago
- Suite of C/C++ tooling built on LLVM/Clang☆108Updated last month
- A study of undefined behavior on various platforms, compilers, and tools☆20Updated 5 months ago
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆46Updated 8 years ago
- A faster alternative to clang-tidy☆146Updated 8 months ago
- A simple tool to infer a .clang-format file from existing code☆67Updated last year
- Code Analysis and Refactoring with Clang Tools☆129Updated 5 years ago
- ☆34Updated 12 years ago
- Helper scripts for C++ static analysis☆20Updated 4 years ago
- CMake checks cache helper modules – for fast CI CMake builds!☆85Updated 3 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Updated 8 years ago
- A versatile C++ function mocking framework.☆133Updated 3 years ago
- It's the C++ Package Manager Manager☆196Updated 2 years ago
- Configuration files that allow cppcheck to provide better static analysis results☆17Updated 7 years ago
- xunused is a tool to find unused C/C++ functions and methods across source files in the whole project.☆80Updated 2 weeks ago
- Simple mutation-testing☆47Updated last year
- C++ Mutation Test Environment☆188Updated last year
- Python module for parsing CMakeLists.txt files☆33Updated 3 years ago
- C/C++ Dependency Analyzer: a rewrite of John Lakos' dep_utils (adep/cdep/ldep) from "Large-Scale C++ Software Design"☆147Updated 4 years ago
- ORC: A tool for finding violations of C++'s One Definition Rule on the OSX toolchain.☆99Updated 4 months ago
- A graph concurrent library for C++☆63Updated 2 years ago
- Data-race detector for windows applications - built on top of DynamoRIO☆42Updated 4 years ago
- mlib is a fast, simple c++ meta-programming library that uses c++20.☆47Updated last year
- high performance C++20 implementation of std::variant☆58Updated 11 months ago
- Tool for detecting violations of ordering axioms in STL comparators☆19Updated 10 months ago
- Simple Python script that simplifies C++ compiler errors. Useful when using heavily-templated libraries.☆215Updated 6 years ago
- Reveres engineering UML class diagrams with libclang☆78Updated 7 years ago
- Cache for clang-tidy static analysis results☆120Updated last month
- Python bindings for writing clang-based tools based on libtooling (e.g. for refactoring, auto-completion, etc.)☆37Updated 6 years ago