aseec-lab / llms-for-code-analysisLinks
☆31Updated 10 months ago
Alternatives and similar repositories for llms-for-code-analysis
Users that are interested in llms-for-code-analysis are comparing it to the libraries listed below
Sorting:
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆13Updated 2 years ago
- ☆10Updated 5 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- ☆28Updated last year
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆84Updated 3 months ago
- This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022☆37Updated 7 months ago
- ☆40Updated last year
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 4 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- ☆26Updated last year
- ☆13Updated 4 years ago
- aurora-d☆20Updated 3 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆76Updated last year
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- A Coverage-Based fuzzing tools☆23Updated 3 years ago
- This is the project of LearnAFL.☆28Updated 4 years ago
- ☆16Updated 2 years ago
- ☆16Updated 3 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆65Updated 2 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆51Updated 8 months ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆47Updated last year
- A set of Code-ql/Joern queries to find vulnerabilities☆63Updated 4 years ago
- ☆18Updated 8 months ago
- IDA Hexrays To Joern☆40Updated 8 months ago
- COVA - A static analysis tool to compute path conditions☆36Updated this week
- some ida script☆32Updated 3 years ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆64Updated last week
- ☆34Updated 3 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆65Updated 3 years ago
- z3 solver 学习☆51Updated 2 years ago