BaDSeED-SEC / strngr

Related projects ⓘ

Alternatives and complementary repositories for strngr

• pangine / disasm-benchmark
  Pangine disassembly ground truth benchmark
  ☆11Updated 3 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆31Updated this week
• TeumessianFox / ASPFuzz
  ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation
  ☆26Updated last year
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 years ago
• B2R2-org / FunSeeker
  FunSeeker: Binary Function Identification Tool
  ☆24Updated 10 months ago
• subwire / libmatch
  ☆19Updated 11 months ago
• elManto / DDFuzz
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆62Updated 2 years ago
• vandaltool / vandalir
  ☆22Updated 2 years ago
• HexHive / RetroWrite-Tutorial
  ☆38Updated 4 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆35Updated 5 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 5 years ago
• nyx-fuzz / packer
  ☆19Updated last month
• securesystemslab / sanitizing-for-security-benchmarks
  ☆25Updated 6 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆12Updated 2 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 5 years ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆31Updated 5 months ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆54Updated 2 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆28Updated 3 years ago
• nyx-fuzz / spec-fuzzer
  ☆38Updated 2 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆54Updated 5 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆116Updated 2 months ago
• adrianherrera / afl-mutation-graph
  Recover mutation graph from an AFL seed
  ☆59Updated 3 years ago
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆27Updated 5 months ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆11Updated 5 years ago
• yifengchen-cc / AFLplusplusSmart
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆10Updated 4 years ago