acbits / reftrack-plugin
GCC plugin for C language that tracks references to allocated objects
☆23Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for reftrack-plugin
- A bignum library for C.☆31Updated 4 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 2 months ago
- Bootloader exploration☆19Updated 2 years ago
- Sled System Emulator☆28Updated this week
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆12Updated 4 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Bistra is a domain-specific language designed to generate high-performance kernels (such as GEMMs, convolutions, etc). The program is des…☆6Updated 8 months ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated 7 months ago
- A C11 compiler for the discrete logic computer☆20Updated 7 months ago
- A coverage-guided, native Lua fuzzing engine.☆38Updated 2 weeks ago
- Elven relativism -- relocation and execution of aarch64 ELF relocatable objects (ET_REL)☆20Updated 2 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 3 weeks ago
- Modeling futexes in TLA+☆20Updated last month
- An optimizing compiler for a large subset of the C programming language☆26Updated 3 weeks ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- Teeny Tiny Compiler built in Rust☆16Updated 11 months ago
- A vectorized single header hash function.☆18Updated last year
- Yet another simple header only arena allocator for C11☆41Updated 4 months ago
- Convert ELF executables to DOS executables☆31Updated 5 years ago
- Painless Linux sandboxing API☆14Updated 5 months ago
- Argument parsing library for C.☆12Updated 8 years ago
- Snowman decompiler☆13Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 9 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆15Updated last year
- Recursive process fork/exec tracing for Linux systems using ptrace()☆20Updated 3 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆51Updated 4 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆31Updated this week
- Instrumentation CPU profiler for Linux and macOS applications☆19Updated last year
- LLVM backend for m88k architecture☆49Updated 2 weeks ago