Alternatives and similar repositories for hopper

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

• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• cuplv / droidel
  Framework model for static analysis of Android
  ☆46Updated 9 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆92Updated 11 years ago
• saswatanand / acteve
  Dynamic Symbolic Execution of Android Apps
  ☆23Updated 9 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆120Updated 6 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆89Updated 8 months ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 10 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆92Updated last year
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆94Updated 3 years ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆251Updated 2 years ago
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆41Updated 4 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆97Updated last month
• android-art-intel / Fuzzer
  Java* Fuzzer for Android*
  ☆12Updated 8 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆230Updated this week
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆44Updated 4 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆24Updated 4 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆102Updated 5 years ago
• plum-umd / redexer
  The Redexer binary instrumentation framework for Dalvik bytecode
  ☆167Updated 4 years ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆229Updated this week
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆116Updated this week
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• petablox / petablox
  Main distribution of Petablox
  ☆35Updated 7 years ago
• SRI-CSL / bixie
  Inconsistent code detection for Java.
  ☆14Updated 7 years ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago
• konrad-jamrozik / droidmate
  DroidMate is an automated GUI execution generator for Android apps.
  ☆39Updated 5 years ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆27Updated 6 years ago
• isstac / spf-wca
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Updated 7 years ago