aseec-lab / llms-for-code-analysis
☆24Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for llms-for-code-analysis
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆29Updated last year
- ☆27Updated last year
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆13Updated last year
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)☆37Updated last month
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆12Updated 2 years ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆51Updated 3 weeks ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- ☆24Updated 9 months ago
- aurora-d☆20Updated 2 years ago
- Code for UI, backend, engine and statistical analysis for RE☆20Updated 3 years ago
- ☆10Updated 4 years ago
- ☆8Updated 3 months ago
- ☆22Updated 9 months ago
- An Automated Heap Feng Shui Tool☆16Updated 2 years ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆27Updated 3 months ago
- A set of Code-ql/Joern queries to find vulnerabilities☆56Updated 3 years ago
- Additional code and data for the automated malware generation paper☆13Updated 6 months ago
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- A Semantics-Enhanced Learnable Vulnerability Detector☆43Updated 2 years ago
- ☆17Updated 4 years ago
- A tool for automatically identifying syscall-guard variables☆32Updated 3 months ago
- a browser fuzzer☆28Updated 8 months ago
- This is the project of LearnAFL.☆27Updated 4 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- PackGenome: Automatically Generating Robust YARA Rules for Accurate Malware Packer Detection☆22Updated 11 months ago
- ☆24Updated last year
- Large-scale Analysis of Cryptographic Misuse in IoT Devices☆21Updated 5 years ago
- ☆15Updated 3 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 3 years ago