tudasc / TypeART
LLVM-based type and memory allocation tracking sanitizer
☆29Updated 2 weeks ago
Related projects: ⓘ
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆33Updated 3 weeks ago
- PIRA - Automatic Instrumentation Refinement☆15Updated 5 months ago
- CERE: Codelet Extractor and REplayer☆40Updated 11 months ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 2 years ago
- CaPI: Compiler-assisted Performance Instrumentation☆13Updated last month
- Play-with-compiler sandbox based on PWD☆10Updated 3 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆50Updated 2 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆31Updated 2 years ago
- LLVM IR CMake utils for bitcode file manipulation by opt and friends☆68Updated 10 months ago
- llvm crash analysis☆41Updated 2 months ago
- Static range analysis for the LLVM compiler infrastructure.☆54Updated 4 years ago
- Generates CIL MLIR dialect from C/C++ source.☆31Updated 3 years ago
- CLang Plugin for calculating AST hashes☆14Updated 5 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 2 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- autotuning C++, just-in-time!☆51Updated 4 years ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Updated 4 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- ☆15Updated 5 years ago
- ☆33Updated last year
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- Basic LLVM passes☆17Updated 5 years ago
- SMT solver for the theory of floating-point arithmetic☆26Updated 6 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆109Updated 4 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- The Insieme Compiler and Runtime Infrastructure☆33Updated 5 years ago
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Updated 10 months ago
- Program analysis tool based on software performance counters☆56Updated 3 years ago