Alternatives and similar repositories for recidivm:

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

• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 2 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• Cisco-Talos / covnavi
  ☆63Updated 5 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆32Updated 3 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• vusec / dangsan
  ☆63Updated 3 years ago
• intel / satt
  ☆74Updated 2 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 7 years ago
• kmcallister / alameda
  Linux kernel JIT spray for SMEP / KERNEXEC bypass
  ☆55Updated 12 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• awailly / nrop
  Automated Return-Oriented Programming Chaining
  ☆83Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆25Updated 4 years ago
• pagabuc / gfree
  Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries
  ☆95Updated 6 years ago
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆88Updated 5 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆101Updated 3 months ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆59Updated 7 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆65Updated 11 months ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 6 years ago
• bnagy / afl-launch
  Boring tool to launch multiple afl-fuzz instances
  ☆50Updated 7 years ago
• brainsmoke / ptrace-burrito
  a friendly wrapper around ptrace
  ☆132Updated 2 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆84Updated 3 months ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆145Updated 4 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆55Updated 9 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆243Updated last year
• nccgroup / xendbg
  A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…
  ☆77Updated 4 years ago