zhliuworks / Linux-Kernel-notes
🌟 Notes and codes for Linux Kernel (SJTU-CS353)
☆25Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Linux-Kernel-notes
- SJTU 中文简约 LaTeX 报告模板☆10Updated 3 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆46Updated 2 years ago
- ☆58Updated 2 years ago
- This repository is used to analysis the shared resources of different containers☆28Updated last month
- ☆75Updated 2 years ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆36Updated 11 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆43Updated last month
- 《四川大学计软网学生自救手册》☆74Updated 2 weeks ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆35Updated 4 months ago
- GAINS: Getting stArted wIth biNary analysiS☆30Updated 2 years ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆30Updated 2 years ago
- ☆27Updated 2 years ago
- CCF推荐列表的会 议征稿信息(计算机系统相关);SCI I区、II区期刊(系统与安全相关)☆29Updated 5 years ago
- ☆27Updated 2 months ago
- CLAP(Contrastive Language-Assembly Pre-training) learns transferable binary code representations with natural language supervision☆44Updated last month
- 国科大编译作业三:Point to 分析☆16Updated 2 years ago
- Anderson points-to analysis implementation based on LLVM☆12Updated 3 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 6 months ago
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆22Updated 3 months ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆30Updated last year
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- The source code of project "LLift" (Enhancing static analysis with LLM)☆51Updated 8 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆9Updated 7 months ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆16Updated last year
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆75Updated 2 years ago
- Repository for Software Security curriculum☆15Updated 4 years ago
- ☆29Updated 6 months ago
- ☆29Updated last year
- 国科大编译作业:基于Clang的C语言解释执行器☆39Updated 2 years ago
- Bugs in Pods: Understanding Bugs in Container Runtime Systems (ISSTA 2024)☆16Updated 3 months ago