Alternatives and similar repositories for thresher:

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

• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 8 years ago
• typetools / sparta
  Static Program Analysis for Reliable Trusted Apps
  ☆23Updated 6 years ago
• cuplv / droidel
  Framework model for static analysis of Android
  ☆46Updated 8 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• wala / MemSAT
  ☆12Updated last year
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• saswatanand / acteve
  Dynamic Symbolic Execution of Android Apps
  ☆22Updated 9 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• SpoonLabs / metamutator
  a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming
  ☆19Updated 2 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 9 months ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 6 months ago
• SatelliteApplicationsCatapult / tribble
  Coverage based JVM Fuzz testing tool.
  ☆19Updated 5 years ago
• plasma-umass / DoubleTake
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Updated 8 years ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• wala / ML
  ☆26Updated last week
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆28Updated 4 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆42Updated 3 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• codespecs / fjalar
  A dynamic analysis framework for C and C++ programs
  ☆29Updated 11 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago
• nradov / abnffuzzer
  Java fuzz testing library for implementations of ABNF rules such as IETF RFCs
  ☆33Updated 7 months ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆52Updated 11 months ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago