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
  ☆42Updated 4 months ago
• Samsung / auto_off_target
  AoT is a system for automatically generating off-target test harness by using build information.
  ☆38Updated 8 months ago
• embedded-sec / halucinator
  ☆163Updated 3 years ago
• eurecom-s3 / symqemu
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆354Updated 3 months ago
• ucsb-seclab / monolithic-firmware-collection
  Repository for monolithic firmware blobs
  ☆84Updated 3 years ago
• SoftSec-KAIST / BinKit
  Binary Code Similarity Analysis (BCSA) Benchmark
  ☆161Updated last year
• XMUsuny / symbolic-execution-papers
  Recent symbolic execution papers and tools.
  ☆171Updated 3 months ago
• junxzm1990 / x86-sok
  ☆144Updated 10 months ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆317Updated 3 months ago
• HexHive / Igor
  ☆72Updated 3 years ago
• arichardson / juliet-test-suite-c
  ☆88Updated 5 months ago
• aerosec / jetset
  ☆51Updated 2 months ago
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆45Updated 5 years ago
• HexHive / Evocatio
  ☆57Updated 2 years ago
• cyruscyliu / firmguide
  FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution
  ☆20Updated 2 years ago
• pwnforce / uSBS
  μSBS: Static Binary Sanitization of Bare-metal Embedded Devices
  ☆31Updated 3 years ago
• SVF-tools / Software-Security-Analysis
  Static Analysis Course
  ☆77Updated last week
• zer0fall / BENZENE
  BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
  ☆25Updated last year
• S2E / s2e
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆483Updated last week
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Updated 3 years ago
• sefcom / greenhouse
  ☆62Updated last year
• AFLplusplus / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆87Updated 8 months ago
• s3team / DeepType
  ☆25Updated 3 weeks ago
• fuzz-evaluator / guidelines
  ☆66Updated last year
• RUB-SysSec / ijon
  ☆196Updated last year
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆34Updated 7 months ago
• purseclab / D-helix
  a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.
  ☆17Updated 11 months ago
• RiS3-Lab / p2im-real_firmware
  Real firmware fuzz-tested in P2IM paper
  ☆24Updated 4 years ago
• RUB-SysSec / aurora
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆158Updated 3 years ago
• n132 / ARVO-Meta
  ☆79Updated 2 weeks ago