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
  ☆24Updated 3 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 4 years 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
  ☆11Updated 2 weeks ago
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆24Updated 5 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• grimm-co / linuxklee
  Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE
  ☆19Updated 5 years ago
• wisk / fw2elf
  Convert a raw firmware image to an ELF file.
  ☆14Updated 6 years ago
• csienslab-PCC / PathConstraintClassifier
  ☆9Updated 6 years ago
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆26Updated 3 weeks ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• ROPilicious / src
  This is the source of our Return Oriented Programming tool.
  ☆15Updated 5 years ago
• pwnslinger / sn4ke
  Evaluation of two binary mutation engines based on ddisasm and rev.ng
  ☆19Updated 2 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• quarkslab / python-binexport
  Python interface for Binexport, the Bindiff export format
  ☆14Updated last week
• IntelLabs / kafl.linux
  Linux kernel branches for confidential compute research
  ☆17Updated 2 weeks ago
• utds3lab / sgx-log
  Securing System Logs With Intel SGX
  ☆14Updated 7 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• donbmouse / riscv-security
  Lab Mouse Security research pertaining to RISC-V
  ☆11Updated 7 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• S2E / s2e-linux-kernel
  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  ☆24Updated 7 months ago
• ash09 / angr-static-analysis-for-vuzzer64
  Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool
  ☆21Updated 4 years ago
• mrphrazer / kadabra
  A blanked execution framework based on the Unicorn engine
  ☆19Updated 8 years ago
• S2E / qemu
  QEMU VM with generic KVM extensions for symbolic execution
  ☆24Updated 11 months ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 10 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
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• sancus-tee / tutorial-dsn18
  Building Distributed Enclave Applications with Sancus and SGX
  ☆13Updated 4 years ago
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆26Updated 2 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37Updated 4 years ago