Alternatives and similar repositories for dAngr

Users that are interested in dAngr are comparing it to the libraries listed below

• MCUSec / SEmu
  A Specification-Guided Approach for Firmware Emulation
  ☆41Updated 2 months ago
• embedded-sec / halucinator
  ☆162Updated 3 years ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆316Updated last month
• ucsb-seclab / monolithic-firmware-collection
  Repository for monolithic firmware blobs
  ☆81Updated 3 years ago
• eurecom-s3 / symqemu
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆349Updated 2 months ago
• aerosec / jetset
  ☆51Updated 3 weeks ago
• arichardson / juliet-test-suite-c
  ☆82Updated 3 months ago
• RiS3-Lab / p2im
  This is the source code for P2IM paper (accepted to Usenix Security'20)
  ☆138Updated last year
• SoftSec-KAIST / BinKit
  Binary Code Similarity Analysis (BCSA) Benchmark
  ☆156Updated last year
• RUB-SysSec / ijon
  ☆192Updated last year
• S2E / s2e
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆480Updated 7 months ago
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Updated 3 years ago
• XMUsuny / symbolic-execution-papers
  Recent symbolic execution papers and tools.
  ☆169Updated 2 months ago
• Cisco-Talos / binary_function_similarity
  ☆289Updated 11 months ago
• CUMLSec / XDA
  ☆85Updated 8 months ago
• n132 / ARVO-Meta
  ☆72Updated last week
• sefcom / greenhouse
  ☆61Updated last year
• RUB-SysSec / aurora
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆155Updated 2 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆223Updated last week
• lungetech / cgc-challenge-corpus
  ☆66Updated 8 years ago
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆44Updated 5 years ago
• axt / angr-utils
  Handy utilities for the angr binary analysis framework, most notably CFG visualization
  ☆287Updated 6 years ago
• evanmak / savior-source
  source code for savior fuzzer
  ☆127Updated 4 years ago
• puppet-meteor / MOpt-AFL
  MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"
  ☆214Updated 4 years ago
• HexHive / Evocatio
  ☆57Updated last year
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆24Updated 4 years ago
• Dongdongshe / neuzz
  neural network assisted fuzzer
  ☆407Updated 5 years ago
• fuzzware-fuzzer / fuzzware
  Fuzzware's main repository. Start here to install.
  ☆340Updated this week
• NESA-Lab / FirmRCA
  Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"
  ☆10Updated last month
• NESA-Lab / FirmSecDataset
  FirmSec Dataset
  ☆36Updated 2 years ago