Alternatives and similar repositories for AIM-Interrupt-Modeling

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

• sefcom / greenhouse
  ☆69Updated 2 years ago
• VoodooChild99 / perry
  Perry: automated peripheral modeling with symbolic execution
  ☆28Updated last year
• NSSL-SJTU / SFuzz
  ☆94Updated 9 months ago
• NESA-Lab / FirmSecDataset
  FirmSec Dataset
  ☆44Updated 2 months ago
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Updated 2 years ago
• RiS3-Lab / p2im-unit_tests
  Unit test firmware evaluated in P2IM paper
  ☆10Updated 4 years 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
• zyw-200 / EQUAFL
  ☆31Updated 2 years ago
• seclab-fudan / FirmRec
  Firmrec is a recurring vulnerability detector for embedded firmware.
  ☆48Updated 8 months ago
• MCUSec / SEmu
  A Specification-Guided Approach for Firmware Emulation
  ☆44Updated 8 months ago
• Marsman1996 / AFGen
  ☆15Updated 9 months ago
• 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
• cuhk-seclab / SelectFuzz
  ☆71Updated last year
• yueyuep / acfg
  Extracting the ACFG feature of each function from the binary file based on angr
  ☆19Updated 6 years ago
• Hustcw / CEBin
  ☆57Updated 8 months ago
• RiS3-Lab / p2im
  This is the source code for P2IM paper (accepted to Usenix Security'20)
  ☆141Updated 2 years ago
• kuc001 / EmTaint
  ☆47Updated 2 years ago
• bajinsheng / SGFuzz
  ☆97Updated 3 months ago
• IoTS-P / SEmu-Fuzz
  Source code of SEmu-Fuzz
  ☆22Updated last year
• MCUSec / para-rehosting
  ☆18Updated last year
• RiS3-Lab / p2im-real_firmware
  Real firmware fuzz-tested in P2IM paper
  ☆24Updated 5 years ago
• MCUSec / uEmu
  A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.
  ☆143Updated 2 years ago
• unifuzz / unibench
  20 benchmark programs
  ☆51Updated 4 years ago
• ucsb-seclab / monolithic-firmware-collection
  Repository for monolithic firmware blobs
  ☆87Updated 3 years ago
• BUseclab / FuzzNG
  ☆31Updated 2 years ago
• 5hadowblad3 / Beacon_artifact
  Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"
  ☆41Updated last month
• f01lprophet / HermeScan
  ☆26Updated last year
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆65Updated 5 years ago
• vul337 / Callee
  Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning
  ☆43Updated 2 years ago