Alternatives and similar repositories for bixie:

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

• SRI-CSL / bixie
  Inconsistent code detection for Java.
  ☆14Updated 7 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆23Updated 3 years ago
• tanob / jxydiff
  A java library to compute the difference between XML files
  ☆14Updated 15 years ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 4 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 2 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆86Updated 3 months ago
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 8 years ago
• ucla-pls / jreduce
  JReduce is a tool to reduce Java ByteCode
  ☆12Updated 3 years ago
• cderoove / damp.ekeko
  Applicative logic meta-programming using Clojure's core.logic against an Eclipse workspace.
  ☆42Updated 3 years ago
• saltlab / BugAID
  A tool for learning bug patterns.
  ☆11Updated 8 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated last month
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• ftsrg / codemodel-rifle
  Graph-based incremental static analysis of ECMAScript 6 source code repositories
  ☆19Updated 7 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated last year
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆45Updated 2 years ago
• secure-software-engineering / ideal
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Updated 7 years ago
• squaresLab / footpatch
  ☆15Updated 5 years ago
• wala / ML
  ☆26Updated last week
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago