crdelozier / ironcladLinks
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 2 years ago
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
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- parsertl: The Modular Parser Generator☆16Updated 3 months ago
- CCS in C++☆26Updated 2 years ago
- CPIP - a C/C++ preprocessor implemented in Python.☆46Updated 2 months ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- A plugin framework for namespace macros in C/C++☆36Updated 10 years ago
- Ragel/Lemon based json-parser☆17Updated 6 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆58Updated 5 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- A Brainfuck Interpreter, which is completely implemented from scratch as a C++ Template Meta Program☆24Updated 3 years ago
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- Highly composable C++17 template meta programming library☆39Updated 6 years ago
- The GNU Superoptimizer☆26Updated 10 years ago
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Updated last year
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Perplex, Lemon, and Re2c: A cross-platform lexer/parser replacement for flex and bison☆30Updated 9 years ago
- String to Float Benchmark☆19Updated 6 years ago
- The fluffy programming language main repository☆24Updated 12 years ago
- A library of tools for compiler construction.☆11Updated 9 years ago
- x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, cons…☆48Updated 9 years ago
- moderngpu algorithms for C++ shaders☆16Updated 4 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 5 months ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Updated 8 years ago
- A ring_span implementation that allows zero construction and destruction☆16Updated 5 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Provides LLDB data formatters for the rapidjson library☆11Updated 2 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago