tudasc / CaPILinks
CaPI: Compiler-assisted Performance Instrumentation
☆16Updated last month
Alternatives and similar repositories for CaPI
Users that are interested in CaPI are comparing it to the libraries listed below
Sorting:
- A binary optimization/specialization library supporting multiple rewriters☆114Updated 4 years ago
- LLVM-based type and memory allocation tracking sanitizer☆53Updated last week
- A utility library to bridge llvm and mlir gaps.☆13Updated 4 months ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated this week
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆54Updated 3 years ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆40Updated last week
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆14Updated 2 months ago
- Efficient patch generation engine for C/C++ programs☆18Updated 2 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains☆22Updated last year
- llvm crash analysis☆43Updated 11 months ago
- ☆38Updated 5 months ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 5 months ago
- ☆70Updated 11 months ago
- Performance Counter Measurements at the cycle granularity☆18Updated 3 years ago
- manipulate LLVM IR files☆32Updated 9 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- ☆36Updated 2 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 5 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- Fork of LLVM for demonstrating optimization pass development☆30Updated 2 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Explore LLVM Bitcode interactively using a graph database☆58Updated 5 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- UB-aware interpreter for LLVM debugging☆28Updated this week
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 10 years ago
- Tutorial for LLVM Dev Conference 2019.☆15Updated 5 years ago