Alternatives and similar repositories for ReMon:

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

• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆42Updated 3 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• sslab-gatech / perf-fuzz
  ☆96Updated 5 years ago
• intel / xom-switch
  ☆55Updated 2 years ago
• sslab-gatech / kernel-analyzer
  ☆70Updated 5 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆74Updated 4 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆28Updated 3 years ago
• ssl-tud / k-miner
  K-Miner
  ☆75Updated 5 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆42Updated 10 months ago
• mustakimur / CFI-LB
  Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19
  ☆21Updated 2 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆59Updated 2 years ago
• mlaurenzano / PEBIL
  Fast static binary instrumentation for linux/x86
  ☆82Updated 7 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆56Updated 5 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆97Updated 2 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆65Updated 3 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 4 years ago
• nettrino / slowfuzz
  ☆50Updated 7 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆90Updated 3 years ago
• cxreet / razor
  ☆39Updated 3 years ago
• securesystemslab / periscope
  ☆64Updated 5 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆63Updated 3 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆89Updated 2 years ago
• isstac / diffuzz
  ☆37Updated 5 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…
  ☆35Updated 2 months ago
• vusec / typearmor
  Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
  ☆46Updated 7 years ago
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 5 years ago