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
Sorting:
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- CCS in C++☆25Updated last year
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 4 months ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- String to Float Benchmark☆19Updated 6 years ago
- Interchangeable AoS and SoA containers☆23Updated 2 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- Highly composable C++17 template meta programming library☆39Updated 6 years ago
- A saturating arithmetic cast.☆12Updated 6 years ago
- Single Header Constexpr Circular Queue☆18Updated 4 years ago
- AnyDSL Runtime Library☆22Updated 3 weeks ago
- Overridable universal operator overloading for C++14☆20Updated 10 years ago
- Modern C++ framework for critical systems☆21Updated last year
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- A small little tool for dumping a floating-point number in its native format☆55Updated 9 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆58Updated 5 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- A header-only, modern C++, library for terminal colours and cursor manipulation☆17Updated 7 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- ☆20Updated 2 years ago
- parsertl: The Modular Parser Generator☆16Updated last month
- High performance event tracing☆16Updated last month
- Markup source code showing optimizations☆36Updated 5 years ago
- A C++ smart pointer with copy-on-write semantics☆15Updated 9 years ago
- A C++ container-like data structure for storing a vector of bits with fast appending on both sides and fast insertion in the middle, all …☆26Updated 3 years ago
- x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, cons…☆47Updated 9 years ago
- C++ container graph visualization for lldb.☆23Updated 5 years ago
- Experimental ranges for CUDA☆24Updated 6 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 8 months ago