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
- Guided SBOM generation from CMake☆21Updated this week
- Helper scripts for C++ static analysis☆19Updated 3 years ago
- A study of undefined behavior on various platforms, compilers, and tools☆20Updated 6 months ago
- Simple mutation-testing☆43Updated 9 months ago
- A formatter to make your CMake code the real treasure☆167Updated this week
- 📜 Give credit automatically! A license disclaimer generator for your CPM.cmake dependencies.☆35Updated last year
- A static reflection framework for C++, using libclang.☆55Updated 2 years ago
- A versatile C++ function mocking framework.☆128Updated 2 years ago
- Tool for providing static analysis of items in Clang's compilation database.☆12Updated 3 years ago
- Creates CycloneDX Software Bill of Materials (SBOM) documents for C/C++ projects using Conan☆25Updated last year
- A template for creating optional-like objects with no space overhead☆100Updated 3 years ago
- Parameterized testing suite for template metaprogramming☆18Updated 2 years ago
- "Zero Setup" cross-compilation for C/C++. Supports numerous architectures, build systems, C standard libraries, vcpkg, and Conan.☆39Updated 2 years ago
- Utilities for converting from C/C++ include guards to #pragma once and back again.☆145Updated 4 years ago
- Speedier handling of clang-tidy checking☆68Updated 5 years ago
- Documentation generator for C++☆141Updated 3 weeks ago
- My submissions to SC22WG21 C++ ISO/IEC standardization group☆43Updated last year
- Compile-time printf-like string formatting☆77Updated 6 years ago
- Benchmark and accountability tool for C++ compile-time overhead / compile-time health☆51Updated 4 years ago
- A collection of awful archetypes to ease the testing of generic C++ libraries☆108Updated 5 years ago
- An example of setting up Sphinx for C++ and building with CMake and Read the Docs☆101Updated 2 years ago
- Header-only C++ containers and algorithms from the SG14 Low Latency study group☆21Updated 2 months ago
- Google Benchmark data visualization tool☆23Updated 10 months ago
- CMake wrapper around the cppfront repository☆77Updated 2 months ago
- MrDocs: A Clang/LLVM tool for building reference documentation from C++ code and javadoc comments.☆82Updated this week
- Rust 2018 and C++20, "constexpr everything", AUTOSAR compliant header-only library intended to support the development of critical system…☆102Updated 3 years ago
- A modern header-only zero-overhead library for creating smart references☆86Updated 5 years ago
- Repository for a C++11 implementation of std::out_ptr (p1132), as a standalone library!☆74Updated last year
- CMake Community Modules☆44Updated 4 years ago
- Add-on packages for Vector class library☆72Updated last year