SRI-CSL / bixie

Related projects ⓘ

Alternatives and complementary repositories for bixie

• martinschaef / bixie
  Inconsistent Code Detection for Java
  ☆11Updated 4 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆102Updated 6 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆84Updated last year
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 3 years ago
• osl / jcute
  Java Concolic Unit Testing Engine
  ☆88Updated 10 years ago
• themaplelab / averroes
  Java bytecode generator for sound and precise partial program analysis
  ☆23Updated 3 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆19Updated this week
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆69Updated 3 years ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated last month
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆44Updated last year
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 5 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆54Updated 6 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆65Updated last year
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆48Updated this week
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆34Updated this week
• ftsrg / seviz
  SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
  ☆20Updated 8 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆18Updated last week
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• uuverifiers / princess
  The Princess Theorem Prover
  ☆22Updated this week
• ucla-pls / jreduce
  JReduce is a tool to reduce Java ByteCode
  ☆12Updated 3 years ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated 4 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• hycos / regex2smtlib
  A regular expression to SMT-LIB constraint translator
  ☆10Updated 6 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated 3 weeks ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆187Updated this week
• uuverifiers / sloth
  An SMT Solver for strings
  ☆10Updated 6 years ago
• cwi-swat / rebel
  ☆12Updated 4 years ago