A Semantics-Enhanced Learnable Vulnerability Detector
☆44Jun 29, 2022Updated 3 years ago
Alternatives and similar repositories for SEVulDet
Users that are interested in SEVulDet are comparing it to the libraries listed below
Sorting:
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Oct 28, 2021Updated 4 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆33Feb 15, 2022Updated 4 years ago
- ☆13Sep 25, 2023Updated 2 years ago
- C++ JSON parser and stringify☆26Jul 29, 2022Updated 3 years ago
- [code] "CFGExplainer: Explaining Graph Neural Network-Based Malware Classification from Control Flow Graphs" by Jerome Dinal Herath, Prit…☆38Aug 2, 2022Updated 3 years ago
- ☆18Aug 7, 2020Updated 5 years ago
- Integrate the dharma grammar fuzzer into honggfuzz☆26Aug 11, 2017Updated 8 years ago
- Exports monitoring plugin for x64dbg☆22Mar 14, 2023Updated 2 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆21Mar 24, 2021Updated 4 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- AFLTeam Collaborative Parallel Fuzzing☆75Sep 5, 2022Updated 3 years ago
- Static Binary Instrumentation tool for Windows x64 executables☆206Sep 29, 2025Updated 5 months ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆34Jun 6, 2021Updated 4 years ago
- Virtual Machine for x64 and x86 systems☆37Apr 13, 2025Updated 10 months ago
- Rust CLI tool to generate Visual Studio .sln files from exes+pdbs☆23Jun 20, 2023Updated 2 years ago
- Dalamud Plugin that synchronizes your character data to one main character.☆15Jul 11, 2024Updated last year
- Fuzzing JavaScript WebAssembly APIs using Dharma/Domato (Chrome/v8, etc.)☆43Feb 8, 2022Updated 4 years ago
- haze binary fuzzer☆56May 19, 2024Updated last year
- Binary Ninja plugin for automating VMProtect analysis☆63Dec 2, 2022Updated 3 years ago
- Hook all callbacks which are registered with LdrRegisterDllNotification☆96Apr 3, 2025Updated 11 months ago
- ☆189Mar 21, 2025Updated 11 months ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- ☆32Jul 1, 2021Updated 4 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- tool for multi-execution jump coverage introspection☆68Jan 28, 2025Updated last year
- Vulnerability Discovery with Function Representation Learning from Unlabeled Projects☆38May 10, 2018Updated 7 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Binary DisASseMbler☆24Sep 26, 2022Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- Extracting high level semantic information from binary code☆67Jun 13, 2019Updated 6 years ago
- Test data for x86 instructions☆13Apr 13, 2021Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- ☆12Jun 20, 2022Updated 3 years ago
- ☆10Oct 1, 2024Updated last year
- Multiplayer snake game written at a single weekend☆13Jul 10, 2019Updated 6 years ago
- Valgrind tool for tracing memory accesses☆13Feb 6, 2025Updated last year
- ☆10Jul 9, 2020Updated 5 years ago