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 2 years ago
- [USENIX Security 25] PatchAgent is a LLM-based practical program repair agent that mimics human expertise.☆82Updated last month
- The source code of project "LLift" (Enhancing static analysis with LLM)☆74Updated last year
- ☆61Updated 3 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆27Updated 2 months ago
- [ISSTA 2025] Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG☆37Updated last week
- This repository is used to analysis the shared resources of different containers☆30Updated 9 months ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆42Updated last year
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆138Updated last month
- 国科大编译作业三：Point to 分析☆18Updated 3 years ago
- ☆46Updated last year
- patch presence test via symbolic signatures, ICSE'24☆12Updated last year
- CCF推荐列表的会议征稿信息（计算机系统相关）；SCI I区、II区期刊（系统与安全相关）☆30Updated 6 years ago
- Teaching and Learning Software Analysis via SVF☆208Updated last week
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Updated last month
- CSCD70 Compiler Optimization☆258Updated 2 years ago
- Tai-e assignments for static program analysis☆31Updated 2 years ago
- ☆75Updated 3 years ago
- Bugs in Pods: Understanding Bugs in Container Runtime Systems (ISSTA 2024)☆20Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆79Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆63Updated 3 weeks ago
- ☆26Updated 3 years ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆99Updated last year
- Bug detection framework for finding Finger tracable bugs in Linux☆21Updated 4 months ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆16Updated last year
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆41Updated last year
- TensorFlow API analysis tool and malicious model detection tool☆33Updated 2 months ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆32Updated 3 years ago
- Repository for Software Security curriculum☆15Updated 5 years ago