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 this week
- ☆29Updated 6 months ago
- ☆13Updated last year
- ☆22Updated last year
- 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
- ☆32Updated last year
- ☆21Updated 2 years ago
- Source code of ASAN--☆91Updated 5 months ago
- Source code of SEmu-Fuzz☆20Updated 10 months ago
- ☆20Updated 4 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- ☆12Updated 3 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆57Updated last year
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆11Updated last year
- Detect missing check bugs in OS kernels☆107Updated last year
- ☆29Updated 5 months ago
- This repository is used to analysis the shared resources of different containers☆28Updated 3 weeks ago
- ☆13Updated last year
- Pre-built bitcode files for the Linux kernel☆22Updated 5 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆75Updated 2 years ago
- ☆58Updated 2 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- This is the main repo for Penglai.☆65Updated last year
- This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …☆23Updated last week
- Static Analyser for C☆105Updated this week
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Updated last year
- ☆48Updated 3 years ago
- ☆11Updated 3 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆51Updated 8 months ago
- ☆69Updated last year