crdelozier / ironclad
Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lead to security vulnerabilities. The project is detailed in the paper "Ironclad C++: A Library-Augmented Type-Safe Subset of C++."
☆18Updated last year
Alternatives and similar repositories for ironclad:
Users that are interested in ironclad are comparing it to the libraries listed below
- parser combinator and AST generator in c++17☆24Updated last year
- CCS in C++☆25Updated last year
- Prana is a library providing a generic AST data structure called utree☆25Updated 13 years ago
- Interchangeable AoS and SoA containers☆22Updated 2 years ago
- Single Header Constexpr Circular Queue☆17Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 3 months ago
- Highly composable C++17 template meta programming library☆39Updated 5 years ago
- A C++ smart pointer with copy-on-write semantics☆15Updated 8 years ago
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- ☆40Updated last year
- Overridable universal operator overloading for C++14☆20Updated 10 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Updated last year
- Composable Data and Type Generators for C++☆10Updated 5 years ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆76Updated 3 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Updated 3 years ago
- A Brainfuck Interpreter, which is completely implemented from scratch as a C++ Template Meta Program☆24Updated 2 years ago
- Optimized for systems that read and write large blobs.☆12Updated 9 years ago
- ☆49Updated 11 months ago
- Runtime Assembler for C++☆13Updated last year
- A ring_span implementation that allows zero construction and destruction☆16Updated 4 years ago
- Header-only C++17 library for property-based testing.☆126Updated 7 months ago
- Adobe Platform Libraries☆29Updated 4 years ago
- Demonstration of LLVM's opt-viewer tool☆70Updated 7 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆58Updated 5 years ago
- Universal Number Library☆40Updated 6 years ago
- Lightweight C++14 utility library. (Modernized, stripped and cleaned-up version of SSVUtils.)☆34Updated 3 years ago
- Work-in-progress Rust application that converts C++ header-only libraries to single self-contained headers.☆26Updated 5 years ago
- A library for Study Group 14 of Working Group 21 (C++)☆35Updated 7 years ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Updated 2 years ago