fudan-ppi / Rule_based_DBT
Rule-based Dynamic Binary Translator
☆12Updated 4 years ago
Alternatives and similar repositories for Rule_based_DBT:
Users that are interested in Rule_based_DBT are comparing it to the libraries listed below
- ☆31Updated last year
- Simple passes for CFG and DFG analysis☆42Updated 5 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- llvm Data Flow Graph dump☆37Updated 3 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆139Updated last year
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- 基于PIn动态插桩框架的函数-循环嵌套关系分析工具:function-loop call graph profiler using Pin (Unofficial implementation of paper: Identifying Potential Parallel…☆14Updated 5 years ago
- ☆37Updated last year
- learn javassist by example☆30Updated 3 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆25Updated 4 years ago
- PIN-tool to produce multi-threaded atomic memory traces☆35Updated 11 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆31Updated 3 weeks ago
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆52Updated last month
- ☆22Updated 4 years ago
- A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…☆101Updated 2 years ago
- ☆35Updated 2 years ago
- 国科大编译作业:基于Clang的C语言解释执行器☆40Updated 3 years ago
- ☆9Updated 4 years ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆41Updated 5 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆19Updated 7 years ago
- A high performance LLVM-based dynamic binary instrumentation framework☆250Updated 7 months ago
- Teaching and Learning Software Verification via SVF☆33Updated 2 months ago
- ☆13Updated 2 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆88Updated last week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆138Updated 6 months ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆53Updated 5 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 3 years ago
- Proof-of-concept for I See Dead Micro-Ops transient execution attack☆14Updated 3 years ago
- Code examples used for the LAC LLVM course☆128Updated 2 months ago