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
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆15Updated 2 months ago
- Composable Data and Type Generators for C++☆10Updated 6 years ago
- A header-only, modern C++, library for terminal colours and cursor manipulation☆17Updated 7 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆59Updated 6 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 7 months ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆80Updated 3 years ago
- CPIP - a C/C++ preprocessor implemented in Python.☆46Updated 3 weeks ago
- String to Float Benchmark☆19Updated 6 years ago
- ASIO Cooperative Task for await-based coroutine☆16Updated 7 years ago
- ☆53Updated last year
- C++ interface to CPU affinity management☆30Updated 7 years ago
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Updated last year
- C++ container graph visualization for lldb.☆23Updated 6 years ago
- LALR(1) parser for C++☆79Updated last year
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆48Updated 7 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 9 months ago
- High performance event tracing☆17Updated last week
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆45Updated 9 months ago
- Unusual uses of SSE2 registers☆67Updated 5 years ago
- NOVA runtime environment (official branch)☆35Updated 4 years ago
- Highly composable C++17 template meta programming library☆39Updated 6 years ago
- Header-only C++17 library for property-based testing.☆127Updated last year
- Production Performance Telemetry☆21Updated 4 years ago
- Single Header Constexpr Circular Queue☆18Updated 5 years ago
- Continuous Perfomance Monitor (CPM) for C++ code☆40Updated last year