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 3 months ago
• embedded-sec / halucinator
  ☆163Updated 3 years ago
• ucsb-seclab / monolithic-firmware-collection
  Repository for monolithic firmware blobs
  ☆83Updated 3 years ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆318Updated 2 months ago
• aerosec / jetset
  ☆51Updated last month
• eurecom-s3 / symqemu
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆352Updated 3 months ago
• SoftSec-KAIST / BinKit
  Binary Code Similarity Analysis (BCSA) Benchmark
  ☆158Updated last year
• arichardson / juliet-test-suite-c
  ☆84Updated 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
• S2E / s2e
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆481Updated 8 months ago
• zer0fall / BENZENE
  BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
  ☆25Updated last year
• XMUsuny / symbolic-execution-papers
  Recent symbolic execution papers and tools.
  ☆170Updated 2 months ago
• RUB-SysSec / ijon
  ☆193Updated last year
• sefcom / greenhouse
  ☆61Updated last year
• HexHive / Evocatio
  ☆57Updated 2 years ago
• RUB-SysSec / aurora
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆155Updated 2 years ago
• AFLplusplus / afl-cov
  Produce code coverage results with gcov from afl-fuzz test cases
  ☆87Updated 7 months ago
• RiS3-Lab / p2im
  This is the source code for P2IM paper (accepted to Usenix Security'20)
  ☆139Updated last year
• fuzz-evaluator / guidelines
  ☆66Updated last year
• fuzzware-fuzzer / fuzzware
  Fuzzware's main repository. Start here to install.
  ☆344Updated 3 weeks ago
• junxzm1990 / x86-sok
  ☆144Updated 9 months ago
• HexHive / Igor
  ☆72Updated 3 years ago
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆64Updated last year
• NESA-Lab / FirmSecDataset
  FirmSec Dataset
  ☆38Updated 2 years ago
• purseclab / D-helix
  a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.
  ☆17Updated 10 months ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆33Updated 6 months ago
• cyruscyliu / firmguide
  FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution
  ☆20Updated 2 years ago
• n132 / ARVO-Meta
  ☆75Updated last month
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆45Updated 5 years ago
• puppet-meteor / MOpt-AFL
  MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"
  ☆214Updated 4 years ago