CQU-AI / pymipsLinks
Run MIPS with python!
☆12Updated 5 years ago
Alternatives and similar repositories for pymips
Users that are interested in pymips are comparing it to the libraries listed below
Sorting:
- 国科大编译作业三:Point to 分析☆19Updated 4 years ago
- Proof of Concept of exploit against Spectre Variant 2 Vulnerability☆22Updated 5 years ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆42Updated 6 years ago
- ☆51Updated 4 years ago
- ☆22Updated 5 years ago
- CSCD70 Compiler Optimization☆261Updated 2 years ago
- 国科大编译作业二:LLVM Pass处理函数调用☆18Updated 4 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆49Updated 9 months ago
- 国科大编译作业:基于Clang的C语言解释执行器☆43Updated 4 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆80Updated 3 months ago
- PDiff: Semantic-based Patch Presence Testing for Downstream Kernels☆14Updated 5 years ago
- Student Starter Code for Secure Hardware Design at MIT☆87Updated last week
- RISC-V Software Porting and Optimization Championship☆16Updated 6 months ago
- Revizor - Hardware fuzzing for the age of speculation☆180Updated 2 weeks ago
- Everything we learnt from hacking Arm Mali GPUs.☆209Updated last year
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆38Updated 3 years ago
- My Curriculum Vitae and Resume☆16Updated last year
- The code in this project demonstrates 2 novel Spectre-V4 attacks, named as out-of-place Spectre-STL and Spectre-CTL, based on the Specula…☆22Updated 2 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆22Updated last year
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆83Updated last year
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆18Updated 8 years ago
- 简易版MIPS汇编器,反汇编器以及模拟器☆32Updated 8 years ago
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆33Updated 10 months ago
- Simple passes for CFG and DFG analysis☆44Updated 6 years ago
- The published code repo for the Cortex-M SoK paper.☆26Updated this week
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆30Updated last year
- Tsinghua Advanced Networking Labs on FPGA☆39Updated last year
- notes about glibc, ld-so and more.☆39Updated 4 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆146Updated 2 years ago
- This TG will define AP-TEE-IO ABI extensions to provide Confidential VM-assigned devices with secure direct access to confidential memory…☆14Updated this week