https://github.com/purseclab/deepSURF

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
https://github.com/purseclab/deepSURF

Last synced: 5 days ago
JSON representation

deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses

• Host: GitHub
• URL: https://github.com/purseclab/deepSURF
• Owner: purseclab
• License: bsd-2-clause
• Created: 2025-10-01T22:33:59.000Z (9 months ago)
• Default Branch: main
• Last Pushed: 2025-11-28T22:32:00.000Z (8 months ago)
• Last Synced: 2026-04-09T04:39:32.813Z (3 months ago)
• Language: LLVM
• Size: 617 MB
• Stars: 29
• Watchers: 1
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• Awesome-Rust-Checker - deepSURF - Augmented Harnesses. Paper: [IEEE S&P'26](https://arxiv.org/abs/2506.15648) | HIR, MIR | Memory Bugs | Hybrid, LLM | 2025-11-29 | (Dynamic Checkers)