martinschaef / bixie

Related projects: ⓘ

• SRI-CSL / bixie
  Inconsistent code detection for Java.
  ☆14Updated 6 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆102Updated 6 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆33Updated 3 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆83Updated 9 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆72Updated last year
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆55Updated 8 years ago
• cderoove / damp.ekeko
  Applicative logic meta-programming using Clojure's core.logic against an Eclipse workspace.
  ☆42Updated 3 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆23Updated 3 years ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆20Updated last year
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆44Updated last year
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆90Updated 3 weeks ago
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆31Updated 9 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 9 years ago
• OracleLabs / GraalVM
  ☆44Updated this week
• jrfaller / gumtree
  this repository is obsolete please go to our new repository
  ☆14Updated 6 years ago
• ikuraj / alloy
  A language and tool for relational models
  ☆12Updated 7 years ago
• boalang / compiler
  The Boa language reference compiler.
  ☆33Updated 6 months ago
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆85Updated 11 months 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
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆96Updated 3 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 2 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆32Updated 7 years ago
• PRL-PRG / dejavu-artifact
  Artifact for the OOPSLA 17 DejaVu Paper
  ☆10Updated 7 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆23Updated 3 months ago