Alternatives and similar repositories for SoK-Cortex-M

Users that are interested in SoK-Cortex-M are comparing it to the libraries listed below

• rchtsang / ffxe
  ☆24Updated 9 months ago
• Ember-IO / Ember-IO-Fuzzing
  ☆9Updated last year
• VoodooChild99 / perry
  Perry: automated peripheral modeling with symbolic execution
  ☆27Updated last year
• Lawliar / CO3
  Artifacts for CO3: Concolic Co-execution for Firmware
  ☆10Updated 5 months ago
• MCUSec / microAFL
  ☆46Updated 2 years ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆60Updated 6 months ago
• HexHive / ViDeZZo
  ViDeZZo source code.
  ☆35Updated 2 months ago
• MCUSec / para-rehosting
  ☆18Updated 6 months ago
• seclab-ucr / SyzDescribe
  ☆55Updated last year
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆29Updated last year
• uacatcher / uacatcher-repo
  uacatcher open source repo
  ☆21Updated last year
• secsysresearch / DRFuzz
  ☆27Updated 3 years ago
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆43Updated last year
• BUseclab / FuzzNG
  ☆27Updated 2 years ago
• NESA-Lab / FirmRCA
  Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"
  ☆9Updated last week
• purseclab / fuzzusb
  ☆36Updated 3 years ago
• MCUSec / IPEA
  Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation
  ☆17Updated last year
• sslab-gatech / krace
  Source code release for the KRace project
  ☆28Updated 3 years ago
• umnsec / typm
  ☆34Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆30Updated 3 years ago
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated last year
• valour01 / ecmo
  Peripheral Transplantation to Rehost Embedded Linux kernels
  ☆16Updated 3 years ago
• sefcom / KHeaps
  Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability
  ☆82Updated 3 years ago
• OSUSecLab / AutoMap
  ☆10Updated 2 years ago
• cyruscyliu / firmguide
  FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution
  ☆19Updated 2 years ago
• AFLplusplus / libafl_qemu_artifacts
  ☆24Updated last year
• zjuchenyuan / gfuzz
  Directed fuzzing framework for gVisor.
  ☆24Updated last year
• RiS3-Lab / p2im-real_firmware
  Real firmware fuzz-tested in P2IM paper
  ☆24Updated 4 years ago
• RiS3-Lab / DICE-DMA-Emulation
  DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
  ☆62Updated last year
• Markakd / GREBE
  ☆78Updated last year