LLVM Call Graph
☆28Mar 5, 2021Updated 5 years ago
Alternatives and similar repositories for LLVMCallGraph
Users that are interested in LLVMCallGraph are comparing it to the libraries listed below
Sorting:
- A CallGraph Generation LLVM Pass for C and C++ program☆34Apr 4, 2022Updated 3 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆33Jan 11, 2015Updated 11 years ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 4 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- tool of llm-based indirect-call analyzer☆30Feb 18, 2025Updated last year
- An implementation of ChatTester//arxiv.org/abs/2305.04207☆16Nov 25, 2024Updated last year
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- Artifacts of EVT ASPLOS'24☆30Mar 6, 2024Updated 2 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- ☆20May 30, 2024Updated last year
- llvm crash analysis☆44Jun 26, 2024Updated last year
- This repo contains the tests and results that were done during the research of SATURN☆44Dec 10, 2020Updated 5 years ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- Rust + WebAssembly port of SymbolicRegression.jl☆36Mar 2, 2026Updated 2 weeks ago
- Compartmentalization using hardware and software techniques.☆12Aug 28, 2025Updated 6 months ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆23May 31, 2023Updated 2 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆22Mar 21, 2021Updated 5 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆35Apr 21, 2018Updated 7 years ago
- This repo contains the benchmarks for Enzyme on GPU's☆11Feb 22, 2026Updated 3 weeks ago
- GPI-Space: Memory Driven Computing and Big Data☆10Jan 2, 2025Updated last year
- ☆12Jun 22, 2021Updated 4 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆17Feb 22, 2025Updated last year
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- A jQuery plugin for webRTC☆62May 9, 2012Updated 13 years ago
- Implementation of kexstat via /dev/kmem with kernel ASLR support☆36Dec 5, 2015Updated 10 years ago
- Python bindings for Boost.Interprocess☆10Dec 20, 2016Updated 9 years ago
- Obfuscator based on logic-bombs☆68May 9, 2020Updated 5 years ago
- ☆13Oct 14, 2016Updated 9 years ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Visualization tool for analyzing call trees and graphs☆35Mar 15, 2023Updated 3 years ago
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 5 years ago
- manipulate LLVM IR files☆32Jul 15, 2015Updated 10 years ago
- ☆14Apr 24, 2024Updated last year
- LLVM IR CMake utils for bitcode file manipulation by opt and friends☆74Dec 7, 2024Updated last year
- Stratified synthesis for learning machine code instruction semantics☆41Sep 24, 2025Updated 5 months ago
- PolyLib official git.☆11Jan 27, 2026Updated last month
- Arch Linux package for the Linux Kernel and modules with grsecurity/PaX patches.☆20Apr 26, 2017Updated 8 years ago
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Sep 19, 2019Updated 6 years ago