tudasc / MetaCG
MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
☆33Updated 3 weeks ago
Related projects: ⓘ
- LLVM-based type and memory allocation tracking sanitizer☆29Updated 2 weeks ago
- PIRA - Automatic Instrumentation Refinement☆15Updated 5 months ago
- CERE: Codelet Extractor and REplayer☆40Updated 11 months ago
- GOTCHA is a library for wrapping function calls in shared libraries☆70Updated 3 months ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆67Updated last year
- 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
- CLang Plugin for calculating AST hashes☆14Updated 5 years ago
- Generates CIL MLIR dialect from C/C++ source.☆31Updated 3 years ago
- LLVM IR CMake utils for bitcode file manipulation by opt and friends☆68Updated 10 months ago
- Archer, a data race detection tool for large OpenMP applications☆62Updated 4 years ago
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆86Updated 4 years ago
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆91Updated 4 months ago
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Updated 4 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
- An LLVM-based formal verification frontend for C programs.☆24Updated 2 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆36Updated 2 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆109Updated 4 months ago
- ☆33Updated last year
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆52Updated last week
- Instrumentation framework to generate execution traces of the most used parallel runtimes.☆60Updated last week
- ☆50Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- Linux OTF2 Sampling - A Lightweight Node-Level Performance Monitoring Tool☆45Updated this week
- A binary optimization/specialization library supporting multiple rewriters☆110Updated 3 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- LLVM Profiling Visualization☆82Updated 2 years ago
- CaPI: Compiler-assisted Performance Instrumentation☆13Updated last month
- floating-point errors checker☆47Updated 2 months ago