yabberyabber / funqual
User defined static call-tree constraints in C++. This is the implementation of the tool for my masters thesis.
☆13Updated 6 years ago
Alternatives and similar repositories for funqual:
Users that are interested in funqual are comparing it to the libraries listed below
- A C++14 and later CRTP template for defining iterators☆72Updated 2 weeks ago
- A cache for clang-tidy☆34Updated last year
- test suite generation for C++☆27Updated 3 years ago
- ☆76Updated 3 months ago
- CMake wrapper around the cppfront repository☆78Updated 5 months ago
- bit-lite - C++20 bit operations for C++98 and later in a single-file header-only library☆40Updated last year
- A static reflection framework for C++, using libclang.☆55Updated 2 years ago
- Variadic templates and std::integer_sequence support library☆111Updated last month
- Speedier handling of clang-tidy checking☆69Updated 5 years ago
- repr for Modern C++: Return printable string representation of a value☆85Updated 4 years ago
- Working Draft for a future C++ Ecosystem IS☆19Updated 3 months ago
- C++ Testing using spies and fakes for isolation and simulation☆60Updated 6 years ago
- high performance C++20 implementation of std::variant☆54Updated 3 weeks ago
- Replacement for std::optional with efficient memory usage and additional features.☆46Updated last month
- CMake Community Modules☆44Updated 4 years ago
- A header-only C++ parsing framework☆36Updated 3 years ago
- A research project aimed at introducing language support for type erasure in C++.☆53Updated 9 years ago
- A C++20 implementation of safe (wrap around) integers following MISRA C++ rules☆77Updated last year
- A class template that creates a new type that is distinct from the underlying type, but convertible to and from it☆111Updated last year
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆32Updated 7 years ago
- ring-span lite - A C++yy-like ring_span type for C++98, C++11 and later in a single-file header-only library☆157Updated 2 weeks ago
- Allows you to publish ABI stable C++ library that can be used across different compilers☆62Updated last month
- variant lite - A C++17-like variant, a type-safe union for C++98, C++11 and later in a single-file header-only library☆238Updated 2 months ago
- A graph concurrent library for C++☆63Updated last year
- A simple tool to infer a .clang-format file from existing code☆63Updated 8 months ago
- Benchmark and accountability tool for C++ compile-time overhead / compile-time health☆52Updated 4 years ago
- Rust 2018 and C++20, "constexpr everything", AUTOSAR compliant header-only library intended to support the development of critical system…☆100Updated 3 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
- Rebooting the std::bitset franchise☆44Updated 3 weeks ago
- Helper scripts for C++ static analysis☆19Updated 3 years ago