LLVM Call Graph
☆28Mar 5, 2021Updated 4 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☆33Apr 4, 2022Updated 3 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☆31Feb 18, 2025Updated last year
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆33Jan 11, 2015Updated 11 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 2 years ago
- ☆20May 30, 2024Updated last year
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆50Feb 17, 2026Updated last week
- 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…☆21Mar 21, 2021Updated 4 years ago
- Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream☆24Updated this week
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆17Feb 22, 2025Updated last year
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆23May 31, 2023Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- Artifacts of EVT ASPLOS'24☆29Mar 6, 2024Updated last year
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- Visualization tool for analyzing call trees and graphs☆35Mar 15, 2023Updated 2 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆35Apr 21, 2018Updated 7 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆85Mar 5, 2024Updated last year
- Compartmentalization using hardware and software techniques.☆12Aug 28, 2025Updated 6 months ago
- LLVM IR CMake utils for bitcode file manipulation by opt and friends☆74Dec 7, 2024Updated last year
- PTX-EMU is a simple emulator for CUDA program.☆37Apr 25, 2025Updated 10 months ago
- This repo contains the tests and results that were done during the research of SATURN☆44Dec 10, 2020Updated 5 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- A Grand Sumo prediction game☆10Updated this week
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- Hyperledger fabric demo using the balance transfer code as a base☆13Aug 3, 2018Updated 7 years ago
- GAMES101 Homework Collection☆10Apr 2, 2025Updated 10 months ago
- In-browser emulator of Hack CPU from nand2tetris course☆10Oct 12, 2021Updated 4 years ago
- A Snowflake SQL parser (WIP)☆11May 31, 2020Updated 5 years ago
- ☆17Nov 18, 2025Updated 3 months ago
- ☆10Apr 12, 2025Updated 10 months ago
- 🍺 a Homebrew keg that specialized in Natural Language Processing.☆22May 23, 2018Updated 7 years ago