extensible interpreter for LLVM dynamic analyses
☆45Aug 7, 2013Updated 12 years ago
Alternatives and similar repositories for llvm-ei
Users that are interested in llvm-ei are comparing it to the libraries listed below
Sorting:
- An LLVM interpreter that aims to compute points-to sets dynamically☆33Jan 11, 2015Updated 11 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Nov 28, 2020Updated 5 years ago
- DASS HLS Compiler☆29Oct 4, 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
- ☆12Jul 20, 2022Updated 3 years ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- github.com/cznic/sqlite3shell has moved to modernc.org/sqlite3shell☆21Nov 22, 2018Updated 7 years ago
- A high-level performance analysis tool for FPGA-based accelerators☆19Jun 2, 2017Updated 8 years ago
- infrastructure for building a complete swift, clang, llvm toolchain☆20Oct 1, 2020Updated 5 years ago
- Small sample programs that use LLVM and Clang APIs.☆52Jan 14, 2019Updated 7 years ago
- A Swift library for printing a breadcrumb trace on a fatal signal.☆46Jun 26, 2019Updated 6 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- Implementation of imp_implementationWithBlock()☆21Dec 28, 2013Updated 12 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- Experimental translation of llvm to smt.☆59Apr 8, 2020Updated 5 years ago
- ☆29Nov 5, 2021Updated 4 years ago
- A network-level collaboration framework for personal mobile devices☆15Jun 24, 2020Updated 5 years ago
- Collection of various llvm passes☆131Jun 2, 2015Updated 10 years ago
- If a Swift type conforms to CustomReflectable, it's hard to reverse engineer it. This single-file library makes it super easy.☆15Aug 22, 2019Updated 6 years ago
- ☆13Jan 8, 2020Updated 6 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- Shellcode execution via x86 inline assembly based on MSVC syntax☆17Apr 26, 2023Updated 2 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- translate LLVM IR to Go☆125Apr 10, 2022Updated 3 years ago
- SAMO: Streaming Architecture Mapping Optimisation☆34Oct 4, 2023Updated 2 years ago
- Documentation of the VTIL API.☆32Nov 1, 2020Updated 5 years ago
- A OpenCL-based FPGA benchmark suite for HPC☆37Jan 29, 2026Updated last month
- Visualization of LLVM IR☆59May 6, 2014Updated 11 years ago
- LLVM meets Code Property Graphs☆96Feb 27, 2021Updated 5 years ago
- Videocore Backend for llvm☆23Feb 3, 2015Updated 11 years ago
- Arch Linux package for the Linux Kernel and modules with grsecurity/PaX patches.☆20Apr 26, 2017Updated 8 years ago
- a Lightning Network simulator☆21Jun 11, 2021Updated 4 years ago
- Symbolic execution for LLVM traces produced by PANDA☆40Feb 5, 2019Updated 7 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- Stateless backoff strategies for Go☆16Apr 28, 2018Updated 7 years ago
- ☆21Oct 9, 2020Updated 5 years ago
- An LLVM clone modified for use in RetDec and associated tools.☆19Feb 3, 2025Updated last year