Alternatives and similar repositories for SHiFT

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

• VoodooChild99 / perry
  Perry: automated peripheral modeling with symbolic execution
  ☆28Updated last year
• sefcom / operation-mango-public
  ☆88Updated 6 months ago
• sefcom / greenhouse
  ☆66Updated 2 years ago
• NSSL-SJTU / SFuzz
  ☆92Updated 7 months ago
• seclab-fudan / FirmRec
  Firmrec is a recurring vulnerability detector for embedded firmware.
  ☆48Updated 6 months ago
• kuc001 / EmTaint
  ☆43Updated 2 years ago
• rchtsang / ffxe
  ☆29Updated last year
• zyw-200 / EQUAFL
  ☆30Updated 2 years ago
• XtEsco / Snipuzz
  a blackbox network fuzzer for IoT devices
  ☆55Updated last year
• jkrshnmenon / arbiter
  ☆237Updated last year
• XMUsuny / symbolic-execution-papers
  Recent symbolic execution papers and tools.
  ☆180Updated 6 months ago
• lt-asset / resym
  For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…
  ☆118Updated 7 months ago
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Updated 2 years ago
• security-pride / CKGFuzzer
  CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph
  ☆123Updated 9 months ago
• ucsb-seclab / monolithic-firmware-collection
  Repository for monolithic firmware blobs
  ☆87Updated 3 years ago
• bofeng17 / AIM-Interrupt-Modeling
  This is the source code for AIM paper (accepted to IEEE Transactions on Dependable and Secure Computing in 2023)
  ☆30Updated last year
• Kyle-Kyle / top4grep
  find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
  ☆195Updated last year
• MCUSec / uEmu
  A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.
  ☆143Updated 2 years ago
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆65Updated 5 years ago
• ise-uiuc / KernelGPT
  KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)
  ☆148Updated 3 months ago
• NESA-Lab / FirmSecDataset
  FirmSec Dataset
  ☆43Updated last month
• bajinsheng / SGFuzz
  ☆96Updated 2 months ago
• cuhk-seclab / SelectFuzz
  ☆70Updated last year
• andreia-oca / awesome-embedded-fuzzing
  A list of resources (papers, books, talks, frameworks, tools) for understanding fuzzing for IoT/embedded devices.
  ☆51Updated 3 years ago
• seclab-fudan / SyzDirect
  ☆38Updated last year
• BUseclab / FuzzNG
  ☆29Updated 2 years ago
• RiS3-Lab / p2im
  This is the source code for P2IM paper (accepted to Usenix Security'20)
  ☆141Updated 2 years ago
• MCUSec / SEmu
  A Specification-Guided Approach for Firmware Emulation
  ☆43Updated 7 months ago
• SVF-tools / Software-Security-Analysis
  Static Analysis Course
  ☆80Updated 2 months ago
• RiS3-Lab / p2im-real_firmware
  Real firmware fuzz-tested in P2IM paper
  ☆24Updated 4 years ago