acbits / reftrack-pluginLinks
GCC plugin for C language that tracks references to allocated objects
☆27Updated last month
Alternatives and similar repositories for reftrack-plugin
Users that are interested in reftrack-plugin are comparing it to the libraries listed below
Sorting:
- Compiling C to FlipJump☆91Updated 5 months ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆53Updated 5 months ago
- A bignum library for C.☆33Updated last year
- Generates visualization from Ninja build logs.☆50Updated last week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 10 months ago
- A rethinking of the C time library☆11Updated 4 months ago
- Compact, non-backtracking, unicode aware regular expressions in C89☆10Updated 2 months ago
- ☆43Updated 3 months ago
- Type-safe Printf in C☆72Updated 5 months ago
- An optimizing compiler for a large subset of the C programming language☆26Updated last month
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- Header only C++23 structured logging library using logfmt☆71Updated 3 months ago
- Modeling futexes in TLA+☆20Updated 9 months ago
- Sled System Emulator☆28Updated 2 months ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- A coverage-guided, native Lua fuzzing engine.☆42Updated this week
- The SuperC Parsing Framework☆35Updated last month
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆56Updated last year
- Yet another simple header only arena allocator for C11☆42Updated last year
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated 2 years ago
- Experimental fork of zlib with performance improvements☆34Updated 2 years ago
- C Intermediate Language☆147Updated this week
- A vectorized single header hash function.☆19Updated 7 months ago
- Compact garbage-collected heap and JSON-like object model☆80Updated 2 years ago
- Meta-program C/C++ with JavaScript☆29Updated 2 years ago
- ☆20Updated 3 months ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Updated 9 months ago