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
  ☆27Updated last year
• NSSL-SJTU / SFuzz
  ☆90Updated 5 months ago
• RiS3-Lab / p2im-unit_tests
  Unit test firmware evaluated in P2IM paper
  ☆10Updated 4 years ago
• sefcom / greenhouse
  ☆63Updated last year
• seclab-fudan / FirmRec
  ☆42Updated 4 months ago
• zyw-200 / EQUAFL
  ☆30Updated 2 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…
  ☆71Updated 9 months ago
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Updated 2 years ago
• NESA-Lab / FirmSecDataset
  FirmSec Dataset
  ☆39Updated 3 years ago
• MCUSec / SEmu
  A Specification-Guided Approach for Firmware Emulation
  ☆43Updated 4 months ago
• MCUSec / para-rehosting
  ☆18Updated 9 months ago
• yueyuep / acfg
  Extracting the ACFG feature of each function from the binary file based on angr
  ☆19Updated 6 years ago
• f01lprophet / HermeScan
  ☆21Updated 8 months ago
• RiS3-Lab / DICE-DMA-Emulation
  DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
  ☆63Updated last year
• IoTS-P / SEmu-Fuzz
  Source code of SEmu-Fuzz
  ☆22Updated 9 months ago
• ucsb-seclab / monolithic-firmware-collection
  Repository for monolithic firmware blobs
  ☆84Updated 3 years ago
• MCUSec / uEmu
  A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.
  ☆142Updated last year
• RiS3-Lab / p2im
  This is the source code for P2IM paper (accepted to Usenix Security'20)
  ☆138Updated last year
• RiS3-Lab / p2im-real_firmware
  Real firmware fuzz-tested in P2IM paper
  ☆24Updated 4 years ago
• cuhk-seclab / SelectFuzz
  ☆70Updated last year
• vul337 / Callee
  Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning
  ☆42Updated last year
• Yunlongs / Genius
  Full implementaion of Genius
  ☆32Updated 2 years ago
• kuc001 / EmTaint
  ☆40Updated 2 years ago
• Hustcw / CEBin
  ☆50Updated 4 months ago
• umnsec / ndi
  Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs
  ☆14Updated 2 years ago
• Marsman1996 / AFGen
  ☆14Updated 6 months ago
• Cisco-Talos / binary_function_similarity
  ☆296Updated last year
• seclab-fudan / SyzDirect
  ☆37Updated last year
• BUseclab / FuzzNG
  ☆28Updated 2 years ago
• Ember-IO / Ember-IO-Fuzzing
  ☆10Updated 2 years ago