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 2 years ago
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- CCS in C++☆25Updated last year
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Updated last year
- String to Float Benchmark☆19Updated 6 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆13Updated 2 weeks ago
- Composable Data and Type Generators for C++☆10Updated 5 years ago
- Highly composable C++17 template meta programming library☆39Updated 6 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated last month
- ☆49Updated last year
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆45Updated 2 months ago
- A ring_span implementation that allows zero construction and destruction☆16Updated 4 years ago
- C++ container graph visualization for lldb.☆23Updated 5 years ago
- ☆31Updated 9 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆48Updated 10 years ago
- A high-level API for accessing DWARF debugging information, in C++☆24Updated 3 weeks ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Updated 7 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- Work-in-progress Rust application that converts C++ header-only libraries to single self-contained headers.☆26Updated 5 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆46Updated 7 years ago
- Compile-time Checked, Type-Safe Formatting in C++14☆36Updated 7 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- A saturating arithmetic cast.☆12Updated 6 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- CPIP - a C/C++ preprocessor implemented in Python.☆44Updated this week
- Prana is a library providing a generic AST data structure called utree☆25Updated 13 years ago
- Single Header Constexpr Circular Queue☆17Updated 4 years ago