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 8 years ago
- CCS in C++☆26Updated 2 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 8 months ago
- ☆55Updated last year
- Runtime Assembler for C++☆13Updated last year
- code for examining determinism of performance counters☆21Updated 4 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆54Updated 6 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆15Updated 2 weeks ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Code which loads custom ISA on Intel Haswell GPUs☆47Updated 9 years ago
- String to Float Benchmark☆19Updated 7 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆59Updated 6 years ago
- a tool for querying Dwarf (debuginfo) graphs☆57Updated last year
- CPIP - a C/C++ preprocessor implemented in Python.☆47Updated 2 months ago
- Composable Data and Type Generators for C++☆10Updated 6 years ago
- LALR(1) parser for C++☆80Updated last year
- BSD Licensed Bignum Library☆232Updated last year
- Interchangeable AoS and SoA containers☆25Updated 3 years ago
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Updated last year
- Production Performance Telemetry☆21Updated 5 years ago
- ASIO Cooperative Task for await-based coroutine☆16Updated 7 years ago
- A high-level API for accessing DWARF debugging information, in C++☆28Updated this week
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- C++ embedded domain specific language for extended parsing expression grammars (PEGs)☆83Updated 7 months ago
- NOVA runtime environment (official branch)☆35Updated 4 years ago
- compile time assembly interpreter☆86Updated 7 years ago
- C++ container graph visualization for lldb.☆23Updated 6 years ago
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago