SEVulDet / SEVulDet
A Semantics-Enhanced Learnable Vulnerability Detector
☆43Updated 2 years ago
Alternatives and similar repositories for SEVulDet:
Users that are interested in SEVulDet are comparing it to the libraries listed below
- ☆12Updated 3 years ago
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆31Updated 4 years ago
- Collection of slides☆33Updated last year
- This repository contains multiple exploits I have written for various CVEs and CTFs☆24Updated 11 months ago
- ☆28Updated 2 years ago
- ☆17Updated 3 years ago
- This tool is used to handle firmware that binwalk cannot unpack directly and is mainly used for OOB removal, ECC removal, and bad block r…☆15Updated 2 years ago
- This tool calculates tricky canonical huffman histogram for CVE-2023-4863.☆26Updated 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…☆14Updated last year
- WinAFL modified for RDP client fuzzing☆19Updated 2 years ago
- My conference presentations and Materials for them.☆32Updated 2 years ago
- ☆14Updated 2 years ago
- ☆22Updated 8 months ago
- A Simple VM-based challenge created using the academic tigress obfuscator☆18Updated 2 years ago
- ☆18Updated 2 years ago
- ☆24Updated 2 years ago
- 一个基于 Qiling 的 函数仿真工具。可以从一个 ELF 文件中选取特定函数执行,并将执行结果导出。☆14Updated 2 years ago
- Investigating the bug behind CVE-2021-26708☆27Updated 4 years ago
- Code for UI, backend, engine and statistical analysis for RE☆22Updated 3 years ago
- ☆10Updated 3 years ago
- ☆40Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- 👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.☆34Updated 3 years ago
- A small PoC for the recent RCE found in the Goahead Webserver prior to version 5.1.5.☆21Updated 3 years ago
- ☆18Updated 3 years ago
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆35Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- Joern Workshops☆26Updated 3 months ago
- 快速对自己项目中引入的第三方开源库进行1day patch检索,patch数据每天晚上11点更新☆20Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆23Updated 2 years ago