Alternatives and similar repositories for ReMon

Users that are interested in ReMon are comparing it to the libraries listed below

• mlaurenzano / PEBIL
  Fast static binary instrumentation for linux/x86
  ☆82Updated 8 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆61Updated 2 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆43Updated 3 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago
• isstac / diffuzz
  ☆40Updated 6 years ago
• cxreet / razor
  ☆39Updated 4 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆76Updated 4 years ago
• KennethAdamMiller / superset_disassembler
  Disassemblers with various trimming methodologies
  ☆14Updated 6 months ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• sslab-gatech / perf-fuzz
  ☆96Updated 6 years ago
• securesystemslab / multicompiler
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆136Updated 6 years ago
• mxz297 / Incremental-CFG-Patching-ASPLOS21-AE
  Software artifact for incremental CFG patching paper appearing in ASPLOS 21
  ☆12Updated 2 years ago
• sslab-gatech / kernel-analyzer
  ☆72Updated 5 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆30Updated 4 years ago
• vusec / vuzzer64
  This implements a 64-bit version of vusec/vuzzer fuzzing tool.
  ☆177Updated 3 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆123Updated 3 years ago
• mustakimur / CFI-LB
  Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19
  ☆21Updated 2 years ago
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆64Updated last year
• hxuhack / logic_bombs
  This repository contains several examples of logic bomb.
  ☆107Updated last year
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆81Updated 7 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆116Updated 5 years ago
• nettrino / slowfuzz
  ☆53Updated 7 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆54Updated last year
• jkinder / jakstab
  The Jakstab static analysis platform for binaries
  ☆159Updated 5 years ago