Alternatives and similar repositories for ReMon:

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

• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆42Updated 3 years ago
• mxz297 / Incremental-CFG-Patching-ASPLOS21-AE
  Software artifact for incremental CFG patching paper appearing in ASPLOS 21
  ☆12Updated 2 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• intel / xom-switch
  ☆55Updated 2 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆61Updated 2 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆75Updated 4 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 4 years ago
• sslab-gatech / perf-fuzz
  ☆96Updated 6 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆28Updated 4 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• mlaurenzano / PEBIL
  Fast static binary instrumentation for linux/x86
  ☆82Updated 8 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• ssl-tud / k-miner
  K-Miner
  ☆75Updated 5 years ago
• sslab-gatech / kernel-analyzer
  ☆70Updated 5 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 2 years ago
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆62Updated last year
• cxreet / razor
  ☆39Updated 4 years ago
• nettrino / slowfuzz
  ☆53Updated 7 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆55Updated 4 years ago
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆36Updated 4 months ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆42Updated last year
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• securesystemslab / periscope
  ☆64Updated 6 years ago
• 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 6 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆105Updated 6 years ago
• vusec / typearmor
  Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
  ☆46Updated 7 years ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆101Updated 2 years ago
• umnsec / typm
  ☆33Updated last year