zhliuworks / Linux-Kernel-notes
🌟 Notes and codes for Linux Kernel (SJTU-CS353)
☆25Updated 3 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
- SJTU 中文简约 LaTeX 报告模板☆10Updated 3 years ago
- ☆74Updated 2 years ago
- ☆30Updated 3 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆10Updated 11 months ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆50Updated 2 years ago
- CCF推荐列表的会议征稿信息(计算机系统相关);SCI I区、II区期刊(系统与安全相关)☆29Updated 5 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆76Updated 2 years ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆38Updated last year
- Bugs in Pods: Understanding Bugs in Container Runtime Systems (ISSTA 2024)☆18Updated 7 months ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆66Updated last year
- TAOISM: A TEE-based Confidential Heterogeneous Deployment Framework for DNN Models☆34Updated 11 months ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆30Updated 2 years ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆100Updated 2 weeks ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆39Updated 8 months ago
- Bilingual Resume Template in Latex. 中英双语Latex简历模板☆14Updated 9 months ago
- ☆61Updated 2 years ago
- ☆80Updated last year
- Academic Papers about LLM Application on Security☆130Updated last month
- A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.☆13Updated 5 months ago
- Collect simple coverage information in memory.☆11Updated 2 years ago
- Bug detection framework for finding Finger tracable bugs in Linux☆21Updated this week
- This repository is used to analysis the shared resources of different containers☆29Updated 5 months ago
- TensorFlow API analysis tool and malicious model detection tool☆25Updated last month
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆15Updated last year
- ☆74Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆54Updated 4 months ago
- 国科大编译作业三:Point to 分析☆18Updated 3 years ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆66Updated 5 months ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated last year
- ☆26Updated 2 years ago