Alternatives and similar repositories for vulnerability-engine

Users that are interested in vulnerability-engine are comparing it to the libraries listed below

• sandialabs / ctadl
  CTADL is a static taint analysis tool
  ☆51Updated 5 months ago
• balayette / fault
  AES-128 and DES differential fault analysis
  ☆16Updated 5 years ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆36Updated 2 years ago
• intel-tools / srs
  GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.
  ☆16Updated last year
• ortegaalfredo / crashbench
  Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs
  ☆14Updated 2 weeks ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆54Updated 8 months ago
• JacobPimental / r2-gohelper
  gopclntab finder and analyzer for Radare2
  ☆21Updated 5 years ago
• dvyukov / centipede
  ☆80Updated last year
• michaelbrownuc / llap
  LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…
  ☆16Updated 2 years ago
• AFLplusplus / libafl_fuzzbench
  Fuzzers implemented with libafl to evaluate several techniques on fuzzbench
  ☆13Updated last year
• llnl / OGhidra
  OGhidra bridges Large Language Models (LLMs) via Ollama with the Ghidra reverse engineering platform, enabling AI-driven binary analysis …
  ☆97Updated 2 weeks ago
• GJDuck / e9syscall
  A system call interception tool
  ☆57Updated last year
• avatartwo / avatar-qemu
  QEmu backend for avatar²
  ☆21Updated 10 months ago
• trailofbits / bpf_tutorials_code
  This repository contains the companion code from the "All your tracing are belong to BPF" blog posts
  ☆19Updated 2 years ago
• trailofbits / binary_type_inference
  ☆21Updated last year
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 years ago
• SimaArasteh / binpool
  ☆69Updated 6 months ago
• quarkslab / python-binexport
  Python interface for Binexport, the Bindiff export format
  ☆20Updated last month
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆195Updated 3 years ago
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆40Updated 7 months ago
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆125Updated this week
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆38Updated last week
• lupyuen / nuttx-arm64-emulator
  Emulate Apache NuttX RTOS for Arm64 with Unicorn Emulator (Avaota-A1 SBC)
  ☆42Updated 9 months ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆52Updated last year
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆44Updated last year
• AppThreat / chen
  Code Hierarchy Exploration Net (chen)
  ☆24Updated last week
• evm-sec / high-pcode
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Updated 2 years ago
• devdanzin / fusil
  Fusil is a multi-agent Python library used to write fuzzing programs
  ☆31Updated 3 months ago
• HackOvert / awesome-bugs
  A collection of software bug types and articles showcasing the hunt for and exploitation of them.
  ☆20Updated 4 years ago
• isec-tugraz / KernelSnitch
  ☆27Updated last year