eregon / virtual-machines-research-graphView external linksLinks
A Virtual Machine Research Overview as a Graph
☆25Dec 21, 2025Updated last month
Alternatives and similar repositories for virtual-machines-research-graph
Users that are interested in virtual-machines-research-graph are comparing it to the libraries listed below
Sorting:
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- It's interpreters all the way down.☆13May 12, 2021Updated 4 years ago
- Proof of Concept for Live Reverse Debugging in LLDB (see wiki)☆14Nov 18, 2025Updated 2 months ago
- ☆12Jul 3, 2019Updated 6 years ago
- A project cataloguing, preserving, and dissecting compilers for the Ruby programming language☆17Sep 27, 2022Updated 3 years ago
- A multicore microprocessor test harness for measuring interference☆14Apr 16, 2020Updated 5 years ago
- Verified, Incremental, Binary Editing with Synthesis☆54Mar 7, 2023Updated 2 years ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 6 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 5 months ago
- x86 Dynamic Binary Translator Library☆34Dec 19, 2020Updated 5 years ago
- Formally verified implementation of Alive in Lean☆41Jul 14, 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
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 9 months ago
- A prototype of soft contract verification for an untyped functional language☆35Apr 7, 2021Updated 4 years ago
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 4 years ago
- Fork of LLVM with modifications to support a program repository☆25Mar 28, 2022Updated 3 years ago
- 这是一个 fps 单机游戏逆向练习项目，使用 imgui 绘制。（This is a reverse practice project for fps single player games, drawn using imgui.）☆13Sep 5, 2023Updated 2 years ago
- Timeless debugging with symbolic execution and processor trace☆75Jan 23, 2021Updated 5 years ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- virtualenv like tool for Racket☆31Nov 20, 2022Updated 3 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- ☆10Oct 15, 2017Updated 8 years ago
- Mirror of KeyBase data☆10Jan 4, 2018Updated 8 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆31Jan 7, 2022Updated 4 years ago
- Rewriting functions in compiled binaries using McSema☆91Aug 6, 2019Updated 6 years ago
- A library for binary analysis and rewriting☆49Sep 28, 2023Updated 2 years ago
- Compiler for Swiftlet☆39May 7, 2024Updated last year
- Semantics of x86-64 in K☆167Mar 4, 2020Updated 5 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆52Jul 20, 2025Updated 6 months ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- Resource utilization monitor for Docker containers & Kubernetes pods that operates with fine granularity and low overhead☆11Dec 25, 2022Updated 3 years ago
- Formal semantics of LLVM IR in K☆46Jun 13, 2018Updated 7 years ago
- A PE morphing tool that allows you to mimic one executable file to another.☆11Dec 6, 2023Updated 2 years ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Nov 24, 2019Updated 6 years ago