CQU-AI / pymips
Run MIPS with python!
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pymips
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆38Updated 5 years ago
- Simple passes for CFG and DFG analysis☆40Updated 5 years ago
- All the tools you need to reproduce the CellIFT paper experiments☆16Updated last month
- Movec: A Tool for the Monitoring and Verification of C Programs☆21Updated 8 months 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…☆100Updated 2 years ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆32Updated 2 years ago
- llvm Data Flow Graph dump☆37Updated 3 years ago
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆48Updated last year
- ☆17Updated 2 years ago
- Proof-of-concept for I See Dead Micro-Ops transient execution attack☆14Updated 3 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆25Updated 4 years ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 4 years ago
- A native symbolic execution engine for WebAssembly☆39Updated 4 months ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 2 years ago
- ☆18Updated 2 years ago
- ☆22Updated last year
- ☆9Updated 5 years ago
- CleanupSpec (MICRO-2019)☆16Updated 4 years ago
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆19Updated 3 years ago
- The artifact for SecSMT paper -- Usenix Security 2022☆25Updated 2 years ago
- Code repository for Coppelia tool☆20Updated 4 years ago
- ☆20Updated 4 years ago
- Use hardware performance counters to find mapping of addresses to L3 slices in Intel processors☆13Updated last year
- Trigger the rowhammer bug on ARMv8☆31Updated 5 years ago
- Sampled simulation of multi-threaded applications using LoopPoint methodology☆12Updated 7 months ago
- 裸金属二进制翻译器的设计和实现☆35Updated 2 years ago
- ☆18Updated 6 years ago
- ☆31Updated last year
- Project Repo for the Simulator Independent Coverage Research☆16Updated last year
- Student Starter Code for Secure Hardware Design at MIT☆33Updated 5 months ago