Team-Atlanta / aixcc-asc-atlantisLinks
☆38Updated 4 months ago
Alternatives and similar repositories for aixcc-asc-atlantis
Users that are interested in aixcc-asc-atlantis are comparing it to the libraries listed below
Sorting:
- ☆66Updated 2 years ago
- ☆70Updated last year
- ☆93Updated 8 months ago
- ☆29Updated 2 years ago
- ☆26Updated 4 months ago
- ☆88Updated 7 months ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆25Updated 5 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆148Updated 3 months ago
- ☆32Updated last year
- ☆67Updated last year
- BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing☆31Updated 2 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆47Updated 2 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Updated 2 years ago
- ☆58Updated 2 years ago
- Public Source code Release of Theori's AIxCC AFC Submission☆204Updated 4 months ago
- ☆38Updated last year
- ☆48Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆89Updated 11 months ago
- AIxCC Cyber Reasoning System (CRS) that autonomously discovers and patches security vulnerabilities☆62Updated last week
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆118Updated 8 months ago
- ☆57Updated last year
- ☆71Updated last year
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆17Updated 5 months ago
- american fuzzy lop - a security-oriented fuzzer☆10Updated last year
- ☆60Updated 3 weeks ago
- ☆44Updated 2 years ago
- Repository for monolithic firmware blobs☆87Updated 3 years ago
- afl/afl++ with a hierarchical seed scheduler☆56Updated 3 years ago
- 20 benchmark programs☆51Updated 4 years ago