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
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆30Updated 4 years ago
- 👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.☆33Updated 3 years ago
- 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
- ☆27Updated 2 years ago
- ☆12Updated 3 years ago
- My conference presentations and Materials for them.☆32Updated 2 years ago
- A Simple VM-based challenge created using the academic tigress obfuscator☆18Updated 2 years ago
- Collection of slides☆33Updated 10 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- WinAFL modified for RDP client fuzzing☆18Updated 2 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…☆16Updated 2 years ago
- ☆15Updated 3 years ago
- ☆20Updated 6 months ago
- Here I store my proof of concepts☆13Updated 5 months ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆69Updated 5 months ago
- Select Bugs From Binary Where Pattern Like CVE-1337-Days☆51Updated 2 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- ☆40Updated 9 months ago
- Code for UI, backend, engine and statistical analysis for RE☆20Updated 3 years ago
- some useful scripts to solve pwn challenges in ctfs☆13Updated 4 years ago
- Very Simple Fuzzer☆20Updated 4 years ago
- ☆31Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆22Updated 2 years ago
- ☆32Updated last year
- This tool calculates tricky canonical huffman histogram for CVE-2023-4863.☆26Updated last year
- ☆12Updated 2 years ago
- ☆24Updated 2 years ago
- WINAFL for blackbox in-memory fuzzing (PIN)☆46Updated 5 years ago
- LPE of CVE-2024-26230☆22Updated 5 months ago
- ☆18Updated 3 years ago