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 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
- reverse engineering branch predictors☆17Updated 9 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Microbenchmarks for x86_64 kernel entry methods☆18Updated 3 years ago
- Composable Data and Type Generators for C++☆10Updated 6 years ago
- String to Float Benchmark☆19Updated 6 years ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆78Updated 3 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- Highly composable C++17 template meta programming library☆39Updated 6 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Updated 3 years ago
- Overridable universal operator overloading for C++14☆20Updated 10 years ago
- DExTer - Debug Experience Tester☆34Updated 3 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 5 months ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- ☆13Updated 9 years ago
- Runtime Assembler for C++☆13Updated last year
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 3 years ago
- ☆53Updated last year
- NOVA userland☆48Updated 11 years ago
- code for examining determinism of performance counters☆21Updated 4 years ago
- A saturating arithmetic cast.☆12Updated 6 years ago
- Client API for Ayxia Trace☆9Updated 6 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- AnyDSL Runtime Library☆22Updated this week
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆50Updated 2 months ago
- Universal Number Library☆41Updated 7 years ago
- ☆20Updated 2 years ago
- Mirror of Agner Fog's assembler routines (GPL)☆19Updated 9 years ago
- C++ interface to CPU affinity management☆30Updated 7 years ago