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
Related projects ⓘ
Alternatives and complementary repositories for ironclad
- parser combinator and AST generator in c++17☆24Updated last year
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 3 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated last month
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- String to Float Benchmark☆19Updated 6 years ago
- Highly composable C++17 template meta programming library☆39Updated 5 years ago
- ☆49Updated 8 months ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆48Updated 10 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆52Updated 5 years ago
- Composable Data and Type Generators for C++☆10Updated 5 years ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 9 years ago
- Universal Number Library☆40Updated 6 years ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆74Updated 3 years ago
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆11Updated 13 years ago
- moderngpu algorithms for C++ shaders☆16Updated 3 years ago
- ☆15Updated 3 months ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Updated 8 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- A C++ smart pointer with copy-on-write semantics☆15Updated 8 years ago
- ☆40Updated last year
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 9 years ago
- Markup source code showing optimizations☆35Updated 4 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Updated 3 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆57Updated 2 years ago
- reverse engineering branch predictors☆17Updated 8 years ago
- Lightweight C++14 utility library. (Modernized, stripped and cleaned-up version of SSVUtils.)☆34Updated 3 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 13 years ago
- A universal thread-safe memory pool.☆26Updated 6 years ago