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
  ☆43Updated 5 months ago
• ucsb-seclab / monolithic-firmware-collection
  Repository for monolithic firmware blobs
  ☆84Updated 3 years ago
• Samsung / auto_off_target
  AoT is a system for automatically generating off-target test harness by using build information.
  ☆38Updated 10 months ago
• embedded-sec / halucinator
  ☆163Updated 4 years ago
• arichardson / juliet-test-suite-c
  ☆94Updated 6 months ago
• S2E / s2e
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆491Updated 2 weeks ago
• eurecom-s3 / symqemu
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆358Updated 5 months ago
• aerosec / jetset
  ☆52Updated 3 months ago
• zer0fall / BENZENE
  BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
  ☆24Updated last year
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆322Updated 4 months ago
• junxzm1990 / x86-sok
  ☆146Updated 11 months ago
• SoftSec-KAIST / BinKit
  Binary Code Similarity Analysis (BCSA) Benchmark
  ☆164Updated last year
• XMUsuny / symbolic-execution-papers
  Recent symbolic execution papers and tools.
  ☆176Updated 5 months ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆34Updated 8 months ago
• UTD-FAST-Lab / RevBugBench
  ☆32Updated 2 years ago
• RUB-SysSec / aurora
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆159Updated 3 years ago
• Cisco-Talos / binary_function_similarity
  ☆299Updated last year
• fuzz-evaluator / guidelines
  ☆68Updated last year
• 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
• niconaus / PCode-Dump
  ☆19Updated 2 years ago
• HexHive / Evocatio
  ☆58Updated 2 years ago
• HexHive / Igor
  ☆73Updated 3 years ago
• cyruscyliu / firmguide
  FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution
  ☆22Updated 2 years ago
• CUMLSec / trex
  ☆103Updated 11 months ago
• RiS3-Lab / p2im
  This is the source code for P2IM paper (accepted to Usenix Security'20)
  ☆140Updated 2 years ago
• RUB-SysSec / ijon
  ☆199Updated last month
• purseclab / D-helix
  a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.
  ☆17Updated last year
• puppet-meteor / MOpt-AFL
  MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"
  ☆214Updated 4 years ago
• sefcom / greenhouse
  ☆64Updated last year
• fuzzware-fuzzer / fuzzware
  Fuzzware's main repository. Start here to install.
  ☆350Updated 3 months ago