columbia / ArgusDebugger
Diagnose performance issues in macOS based on mac_tracing.
☆18Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ArgusDebugger
- An example LLVM pass which can run automatically in clang.☆36Updated 9 years ago
- ☆31Updated last year
- Generate project templates for executables that use LLVM and LLVM passes☆51Updated 2 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- SUPA☆28Updated 4 years ago
- ☆42Updated 2 years ago
- PARTS / LLVM compiler☆31Updated 5 years ago
- LLVM Call Graph☆26Updated 3 years ago
- A toolkit for building whole-program LLVM bitcode files☆73Updated 3 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 8 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆68Updated 2 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- LLVM meets Code Property Graphs☆88Updated 3 years ago
- Piecewise debloating toolchain☆13Updated 4 years ago
- ☆23Updated 3 years ago
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆49Updated last year
- Runtime type and bounds-error checking for C/C++☆100Updated 2 years ago
- GPUReplay, ASPLOS 2022☆33Updated 2 years ago
- Hodor-PKU☆23Updated 3 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆19Updated 7 years ago
- ☆16Updated last year
- ☆48Updated 3 years ago
- Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…☆13Updated 2 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Updated 4 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆75Updated 2 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆138Updated 4 months ago