RiS3-Lab / DICE-DMA-Emulation

Related projects: ⓘ

• MCUSec / para-rehosting
  ☆18Updated 3 years ago
• ucsb-seclab / monolithic-firmware-collection
  Repository for monolithic firmware blobs
  ☆68Updated 2 years ago
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆41Updated last year
• MCUSec / uEmu
  A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.
  ☆126Updated 9 months ago
• kuc001 / EmTaint
  ☆23Updated last year
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆51Updated 4 years ago
• aerosec / jetset
  ☆49Updated 5 months ago
• seclab-ucr / SyzDescribe
  ☆50Updated 4 months ago
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆54Updated 3 years ago
• NSSL-SJTU / SFuzz
  ☆64Updated 4 months ago
• seclab-yonsei / intriguer
  Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing
  ☆34Updated 9 months ago
• batgui / collafl
  implementing collafl
  ☆25Updated 4 years ago
• securesystemslab / periscope
  ☆64Updated 5 years ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆54Updated last year
• sefcom / greenhouse
  ☆41Updated 10 months ago
• BUseclab / FuzzNG
  ☆22Updated last year
• RiS3-Lab / p2im
  This is the source code for P2IM paper (accepted to Usenix Security'20)
  ☆131Updated 11 months ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆97Updated 2 years ago
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆20Updated 11 months ago
• fiberx / fiber
  Source-binary patch presence test system.
  ☆80Updated 2 years ago
• aflchurn / aflchurn
  A regression greybox fuzzer aflchurn
  ☆63Updated 2 years ago
• VoodooChild99 / perry
  Perry: automated peripheral modeling with symbolic execution
  ☆15Updated 3 months ago
• zyw-200 / EQUAFL
  ☆25Updated last year
• Ember-IO / Ember-IO-Fuzzing
  ☆9Updated last year
• unifuzz / dockerized_fuzzing
  Run fuzzing experiments in Docker
  ☆30Updated 3 years ago
• seclab-ucr / KOOBE
  Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
  ☆83Updated 4 months ago
• rchtsang / ffxe
  ☆18Updated this week
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆17Updated 3 months ago
• cuhk-seclab / SelectFuzz
  ☆66Updated 2 months ago
• SoveraNia / SyzVegas
  Syzkaller with MAB scheduling and seed selection
  ☆24Updated 4 years ago