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:
- A cache for clang-tidy☆36Updated 2 years ago
- Tool for providing static analysis of items in Clang's compilation database.☆12Updated 4 years ago
- Creates CycloneDX Software Bill of Materials (SBOM) documents for C/C++ projects using Conan☆26Updated 2 years ago
- Helper scripts for C++ static analysis☆20Updated 4 years ago
- C++ Testing using spies and fakes for isolation and simulation☆61Updated 7 years ago
- LD_PRELOAD-able library which runs all spawned processes under Valgrind.☆15Updated 3 years ago
- It's the C++ Package Manager Manager☆196Updated 2 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…☆46Updated 8 years ago
- Suite of C/C++ tooling built on LLVM/Clang☆108Updated last month
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Updated 8 years ago
- C++ Mutation Test Environment☆188Updated last year
- Configuration files that allow cppcheck to provide better static analysis results☆17Updated 7 years ago
- test suite generation for C++☆28Updated 7 months ago
- Reveres engineering UML class diagrams with libclang☆78Updated 7 years ago
- C++ EDSL for describing dsp structures☆57Updated 8 years ago
- Speedier handling of clang-tidy checking☆69Updated 6 years ago
- Guided SBOM generation from CMake☆53Updated last week
- Code Analysis and Refactoring with Clang Tools☆129Updated 5 years ago
- Replacements to standard numeric types which throw exceptions on errors☆220Updated 2 months ago
- ORC: A tool for finding violations of C++'s One Definition Rule on the OSX toolchain.☆99Updated 4 months ago
- CMake modules to help use sanitizers☆408Updated 3 months ago
- Lightweight, header-only C++14 metaprogramming library. Pattern matching, compile-time stuffs and algorithms (arrays, type information (…☆59Updated 8 years ago
- Standardise code formating for cmake projects with git and clang-format☆59Updated 8 years ago
- CMake Community Modules☆44Updated 5 years ago
- Metrix++ is an extendable tool for code metrics collection and analysis.☆84Updated last year
- Measures high-level timing and memory usage metrics during compilation☆77Updated 4 years ago
- Examples of clang-tidy plugins☆32Updated 10 months ago
- C++ TODO / FIXME macros that expire (fail to compile) after a specific date☆29Updated 3 years ago
- A study of undefined behavior on various platforms, compilers, and tools☆20Updated 5 months ago
- My submissions to SC22WG21 C++ ISO/IEC standardization group☆43Updated 2 years ago