Vulnerability-Detection / z3-study
z3 solver 学习
☆44Updated last year
Related projects: ⓘ
- ☆26Updated this week
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- angr源码分析☆33Updated 4 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆34Updated 2 years ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models☆55Updated this week
- ☆70Updated 3 years ago
- iot安全题目学习记录☆17Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆69Updated 2 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆27Updated last year
- A CTF fuzz powerd by protobuf.☆14Updated 2 years ago
- ☆21Updated 10 months ago
- ☆34Updated 2 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆11Updated last year
- ☆36Updated 4 months ago
- ☆19Updated last year
- ☆33Updated 10 months ago
- ☆69Updated last year
- ☆58Updated 2 years ago
- some useful scripts to solve pwn challenges in ctfs☆13Updated 3 years ago
- 一个中文版本的 LibAFL 笔记,主要内容是 LibAFL 原理相关的内容,同时也附加一些 LibAFL 使用方面的 tips ,方便查阅和参考。☆26Updated 9 months ago
- uacatcher open source repo☆18Updated last year
- ☆21Updated last year
- The notes about programming language theory☆22Updated last year
- Papers related with kernel papers☆13Updated last year
- Precision-guided context sensitivity for pointer analysis☆58Updated last year
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- 一个通过提取 fuzz crash 触发的调用堆栈 hash, 来动态分类的小工具☆14Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆118Updated last month
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆24Updated last month
- The source code of project "LLift" (Enhancing static analysis with LLM)☆47Updated 6 months ago