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
- high performance C++20 implementation of std::variant☆53Updated 8 months ago
- A cache for clang-tidy☆33Updated last year
- A study of undefined behavior on various platforms, compilers, and tools☆20Updated 7 months ago
- Helper scripts for C++ static analysis☆19Updated 3 years ago
- My submissions to SC22WG21 C++ ISO/IEC standardization group☆43Updated last year
- A C++14 and later CRTP template for defining iterators☆71Updated this week
- Cache for clang-tidy static analysis results☆91Updated 2 months ago
- Documentation generator using annotated sources for multiple computer languages☆155Updated 3 weeks ago
- Allows you to publish ABI stable C++ library that can be used across different compilers☆62Updated last week
- 📜 Give credit automatically! A license disclaimer generator for your CPM.cmake dependencies.☆37Updated last year
- Measures how parsing overweight the major STLs have become☆57Updated 4 years ago
- Repository for a C++11 implementation of std::out_ptr (p1132), as a standalone library!☆74Updated last year
- Metadata to support C++ packaging☆38Updated 2 years ago
- A simple tool to infer a .clang-format file from existing code☆63Updated 7 months ago
- Using coroutines to implement C++ exceptions for freestanding environments☆73Updated 3 months ago
- ☆75Updated 2 months ago
- CMake Community Modules☆44Updated 4 years ago
- Common Package Specification — A cross-tool mechanism for locating software dependencies☆117Updated 2 months ago
- Rebooting the std::bitset franchise☆43Updated this week
- It's the C++ Package Manager Manager☆196Updated last year
- A C++20 implementation of safe (wrap around) integers following MISRA C++ rules☆78Updated last year
- A collection of awful archetypes to ease the testing of generic C++ libraries☆108Updated 5 years ago
- Documentation generator for C++☆142Updated last month
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆32Updated 7 years ago
- Standardise code formating for cmake projects with git and clang-format☆58Updated 7 years ago
- std::bitset with constexpr implementations plus additional features.☆119Updated last year
- A graph concurrent library for C++☆63Updated last year
- A formatter to make your CMake code the real treasure☆178Updated last week
- Simple mutation-testing☆43Updated 10 months ago
- Rust 2018 and C++20, "constexpr everything", AUTOSAR compliant header-only library intended to support the development of critical system…☆101Updated 3 years ago