zhliuworks / Linux-Kernel-notesLinks
🌟 Notes and codes for Linux Kernel (SJTU-CS353)
☆25Updated 4 years ago
Alternatives and similar repositories for Linux-Kernel-notes
Users that are interested in Linux-Kernel-notes are comparing it to the libraries listed below
Sorting:
- SJTU 中文简约 LaTeX 报告模板☆10Updated 4 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆51Updated 3 years ago
- ☆61Updated 3 years ago
- This repository is used to analysis the shared resources of different containers☆31Updated 11 months ago
- 带你畅游《软件分析》☆277Updated 3 years ago
- Tai-e assignments for static program analysis☆32Updated 3 years ago
- CSCD70 Compiler Optimization☆260Updated 2 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆77Updated last year
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆44Updated last year
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆30Updated 4 months ago
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆68Updated last week
- [ISSTA 2025] Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG☆44Updated 3 weeks ago
- Bug detection framework for finding Finger tracable bugs in Linux☆21Updated 6 months ago
- [USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human expertise.☆91Updated last week
- Teaching and Learning Software Analysis via SVF☆210Updated this week
- ☆27Updated 3 years ago
- 国科大编译作业三:Point to 分析☆18Updated 3 years ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Alt ınbüken, Pedro Fonseca, Petros Maniati…☆14Updated last year
- Latex Template for UCAS Homework☆26Updated 5 years ago
- ☆40Updated last year
- ☆13Updated last year
- Concurrency Paper☆110Updated 2 years ago
- ☆46Updated 2 years ago
- CCF推荐列表的会议征稿信息(计算机系统相关);SCI I区、II区期刊(系统与安全相关)☆30Updated 6 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 6 months ago
- ☆36Updated 3 months ago
- patch presence test via symbolic signatures, ICSE'24☆12Updated last year
- 国科大编译作业二:LLVM Pass处理函数调用☆17Updated 3 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆96Updated 2 weeks ago
- Learning and Teaching Software Analysis and Verification via SVF☆25Updated 2 months ago