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
- ☆75Updated 2 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆72Updated last year
- ☆61Updated 3 years ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆30Updated 3 years ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆42Updated 11 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆78Updated 2 years ago
- 国科大编译作业:基于Clang的C语言解释执行器☆40Updated 3 years ago
- ☆31Updated 2 months ago
- Automatic checker synthesis for system-level static analysis☆20Updated 3 weeks ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆51Updated 2 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆35Updated last week
- 国科大编译作业三:Point to 分析☆18Updated 3 years ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆11Updated last year
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆31Updated last year
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆23Updated 10 months ago
- 国科大编译作业二:LLVM Pass处理函数调用☆18Updated 3 years ago
- Automatic DNN generation for fuzzing and more☆133Updated 5 months ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 5 months ago
- TAOISM: A TEE-based Confidential Heterogeneous Deployment Framework for DNN Models☆39Updated last year
- [USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human expertise.☆46Updated this week
- This repository is used to analysis the shared resources of different containers☆30Updated 8 months ago
- CCF推荐列表的会议征稿信息(计算机系统相关);SCI I区、II区期刊(系统与安全相关)☆30Updated 6 years ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆125Updated 2 weeks ago
- ☆27Updated last year
- ☆26Updated 3 years ago
- Bug detection framework for finding Finger tracable bugs in Linux☆21Updated 3 months ago
- Collect simple coverage information in memory.☆11Updated 2 years ago