hust-open-atom-club / TranslateProject
参考 Linux 中国翻译项目，设计我们开源俱乐部的翻译项目 HCTT TranslateProject。
☆22Updated this week
Related projects ⓘ
Alternatives and complementary repositories for TranslateProject
- Deploy and customize our own pwn.college - pwn.hust.college☆28Updated last week
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆199Updated 2 years ago
- This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…☆23Updated 2 years ago
- ☆29Updated 6 months ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆12Updated last year
- ☆13Updated last year
- ☆17Updated last year
- ☆22Updated last year
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- Sth in Control-Flow Integrity☆18Updated 5 years ago
- ☆32Updated last year
- ☆69Updated last year
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆35Updated 3 months ago
- CFG explorer for binaries☆32Updated 2 weeks ago
- Source code of ASAN--☆91Updated 4 months ago
- ☆17Updated last year
- ☆58Updated 2 years ago
- This repository is used to analysis the shared resources of different containers☆28Updated 3 weeks ago
- Source code of SEmu-Fuzz☆20Updated 9 months ago
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆48Updated last year
- Let's write an x86 hypervisor in Rust from scratch!☆143Updated last year
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆85Updated 7 months ago
- ☆29Updated 5 months ago
- Process virtualization based on KVM. More useable, stable and practical than Stanford Dune.☆20Updated 2 years ago
- ☆52Updated 6 months ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- ☆21Updated 2 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆21Updated 8 months ago
- DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing☆11Updated last year
- Anderson points-to analysis implementation based on LLVM☆12Updated 3 years ago