Alternatives and similar repositories for AIM-Interrupt-Modeling

Users that are interested in AIM-Interrupt-Modeling are comparing it to the libraries listed below

• VoodooChild99 / perry
  Perry: automated peripheral modeling with symbolic execution
  ☆28Updated last year
• NSSL-SJTU / SFuzz
  ☆93Updated 8 months ago
• sefcom / greenhouse
  ☆66Updated 2 years ago
• RiS3-Lab / p2im-unit_tests
  Unit test firmware evaluated in P2IM paper
  ☆10Updated 4 years ago
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Updated 2 years ago
• NESA-Lab / FirmSecDataset
  FirmSec Dataset
  ☆43Updated 2 months ago
• zyw-200 / EQUAFL
  ☆30Updated 2 years ago
• seclab-fudan / FirmRec
  Firmrec is a recurring vulnerability detector for embedded firmware.
  ☆48Updated 7 months ago
• f01lprophet / HermeScan
  ☆26Updated 11 months ago
• NSSL-SJTU / HermesSim
  Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…
  ☆80Updated last year
• MCUSec / SEmu
  A Specification-Guided Approach for Firmware Emulation
  ☆44Updated 7 months ago
• yueyuep / acfg
  Extracting the ACFG feature of each function from the binary file based on angr
  ☆19Updated 6 years ago
• BUseclab / FuzzNG
  ☆30Updated 2 years ago
• cuhk-seclab / SelectFuzz
  ☆71Updated last year
• seclab-fudan / SyzDirect
  ☆38Updated last year
• RiS3-Lab / DICE-DMA-Emulation
  DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
  ☆64Updated 2 years ago
• IoTS-P / SEmu-Fuzz
  Source code of SEmu-Fuzz
  ☆22Updated last year
• ucsb-seclab / monolithic-firmware-collection
  Repository for monolithic firmware blobs
  ☆87Updated 3 years ago
• Hustcw / CEBin
  ☆56Updated 7 months ago
• kuc001 / EmTaint
  ☆44Updated 2 years ago
• MCUSec / uEmu
  A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.
  ☆143Updated 2 years ago
• Marsman1996 / AFGen
  ☆14Updated 8 months ago
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆64Updated 5 years ago
• bajinsheng / SGFuzz
  ☆96Updated 2 months ago
• MCUSec / para-rehosting
  ☆18Updated last year
• unifuzz / unibench
  20 benchmark programs
  ☆51Updated 4 years ago
• mryancai / ConVul
  Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)
  ☆14Updated 2 years ago
• icy17 / GPTAid
  Generating API Parameter Security Rules with LLM for API Misuse Detection （Accepted by NDSS 2025）
  ☆17Updated 9 months ago
• Siyuan-Li201 / LibAM
  the datasets and source code of the paper 《LibAM: An Area Matching Framework for Detecting Third-party Libraries in Binaries》
  ☆27Updated last year
• umnsec / ndi
  Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs
  ☆14Updated 3 years ago