Alternatives and similar repositories for Visualization-of-Software-Execution

Users that are interested in Visualization-of-Software-Execution are comparing it to the libraries listed below

• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26Updated 4 years ago
• vusec / midfat
  ☆12Updated 4 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 5 years ago
• FPSG-UIUC / synthCT
  Repository for synthCT framework (NDSS'22)
  ☆10Updated 2 years ago
• donbmouse / riscv-security
  Lab Mouse Security research pertaining to RISC-V
  ☆11Updated 8 years ago
• atrosinenko / qinst
  Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code
  ☆18Updated 5 years ago
• ROPilicious / src
  This is the source of our Return Oriented Programming tool.
  ☆15Updated 5 years ago
• avatartwo / avatar-qemu
  QEmu backend for avatar²
  ☆21Updated 3 months ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 5 years ago
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• pwnslinger / sn4ke
  Evaluation of two binary mutation engines based on ddisasm and rev.ng
  ☆19Updated 2 years ago
• IntelLabs / kafl.linux
  Linux kernel branches for confidential compute research
  ☆18Updated 3 months ago
• vusec / dangzero
  ☆17Updated last year
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 7 months ago
• riscv / riscv-memory-tagging
  Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores
  ☆17Updated last week
• messlabnyu / irqdebloat
  ☆14Updated 3 years ago
• KVM-VMI / qemu
  Fork of QEMU with Virtual Machine Introspection patches
  ☆14Updated last year
• mrphrazer / kadabra
  A blanked execution framework based on the Unicorn engine
  ☆19Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• vusec / kmvx
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆22Updated 5 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• TeumessianFox / ASPFuzz
  ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation
  ☆29Updated 2 years ago
• grimm-co / linuxklee
  Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE
  ☆20Updated 5 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆47Updated last month
• S2E / s2e-linux-kernel
  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  ☆24Updated last year
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37Updated 5 years ago
• polyverse / EnVisen
  ROP gadget finder and analysis in pure Javascript
  ☆29Updated 3 years ago